programming paradigm
category of programming languages according to what methodology of designing and implementing programs their features support
logic programming
programming paradigm based on formal logic
big data
information assets characterized by such a high volume, velocity, and variety to require specific technology and analytical methods for its transformation into value
program synthesis
task to construct a program that provably satisfies a given high-level formal specification
reactive programming
a programming paradigm based on event-driven architecture for processing data changes in real-time
synchronous programming
programming paradigm supported by synchronous programming languages
stack-oriented programming
programming paradigm that relies on a stack machine model
differentiable programming
programming paradigm in which a numeric computer program can be differentiated throughout via automatic differentiation, allowing for machine learning based on gradient descent etc.
functional programming
programming paradigm based on applying and composing functions
dynamic programming
problem optimization method that simplifies a complicated problem by decomposing it into simpler subproblems recursively
reflective programming
ability of a process to examine, introspect and modify itself
reflective programming
ability of a process to examine, introspect and modify itself
feature-oriented programming
programming paradigm
stream processing
programming paradigm which gives some degree of parallel processing
structured concurrency
programming paradigm aimed at improving programming via a structured approach to concurrent programming
aspect-oriented programming
programming paradigm
imperative programming
programming paradigm of directly specifying commands that affect program state
data-driven programming
programming paradigm
end-user development
computer programming by people who are not professional software developers
array programming
programming paradigm that generalize operations on scalars to apply transparently to higher-dimensional arrays to facilitate parallelization
attribute-oriented programming
programming paradigm
class-based programming
object-oriented programming paradigm that distinguishes classes from instances
functional reactive programming
programming paradigm for reactive programming using key features of functional programming
live coding
integration of programming as part of running program
object-oriented programming
programming paradigm based on the concept of objects
component-based software engineering
branch of software engineering
partitioned global address space
parallel programming model in computer science
procedural programming
programming paradigm
evolutionary programming
evolutionary algorithm paradigm where the structure of the program to be optimized is fixed, while its numerical parameters are allowed to evolve
automata-based programming
programming paradigm centred around finite state machines
prototype-based programming
style of object-oriented programming
structured programming
programming paradigm aimed at improving clarity, quality, and development time by using control structures
Representational State Transfer
architectural style for client-server applications
design by contract
design of software based on formal, precise and verifiable interface specifications for software components
concept programming
programming paradigm
multi-paradigm programming
support for more than one programming paradigm
language-oriented programming
programming paradigm
set theoretic programming
programming paradigm
concurrent computing
form of computing in which several computations logically execute during overlapping time periods
agent-oriented programming
programming paradigm centred on the concept of software agents
parallel computing
programming paradigm in which many calculations or the execution of processes are carried out simultaneously
function-level programming
programming paradigm
value-level programming
programming paradigm
probabilistic programming
programming paradigm designed to describe probabilistic models and then perform inference in those models
declarative programming
programming paradigm that expresses the logic of a computation without describing its control flow
declarative programming
programming paradigm that expresses the logic of a computation without describing its control flow
compiled language
a programming language implemented with a compiler that translates source code into a binary executable form