computer science, declarative programming is a programming paradigm, a style of building the structure and elements of computer programs, that expresses...

speak about Declarative memory, one of two types of long term human memory Declarative programming, a computer programming paradigm Declarative sentence...

declarative programming and imperative programming) Curry Cypher Datalog Distributed Application Specification Language (DASL) (combine declarative programming...

contrast to declarative programming, which focuses on what the program should accomplish without specifying all the details of how the program should achieve...

Supports Declarative Programming". Krzysztof R. Apt, Andrea Schaerf (1998). "Programming in Alma-0, or Imperative and Declarative Programming Reconciled"...

– object-oriented programming that avoids classes and implements inheritance via cloning of instances Declarative – code declares properties of the desired...

cf. imperative programming (functional and logic programming are major subgroups of declarative programming) Distributed programming – have support for...

functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm...

Procedural programming is a programming paradigm, classified as imperative programming, that involves implementing the behavior of a computer program as procedures...

procedural, object-oriented, functional, meta, declarative using nested structures, and natural programming. The language is portable (Windows, Linux, macOS...

In computing, reactive programming is a declarative programming paradigm concerned with data streams and the propagation of change. With this paradigm...

classes, which Apple promotes as a real change in programming paradigms they term "protocol-oriented programming" (similar to traits and type classes). Swift...

logic. Unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program is a set of facts and rules...

Conference on Principles and Practice of Declarative Programming TFP: Symposium on Trends in Functional Programming TLCA: International Conference on Typed...

Lustre is a formally defined, declarative, and synchronous dataflow programming language for programming reactive systems. It began as a research project...

efficiency, scalability, and security that would be available through a declarative model. AppSheet was originally founded by Praveen Seshadri in March 2014...

Curry is a declarative programming language, an implementation of the functional logic programming paradigm, and based on the Haskell language. It merges...

Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable...

uses an immutable design and an atomic update model. Its use of a declarative programming configuration system allows reproducibility and portability. It...

ABSET was an early declarative programming language from the University of Aberdeen. ABSYS Elcock, E.W. (1969). ABSET: A Programming Language Based on...

master of endless loops") is a declarative programming language that supports both functional programming and logic programming models, developed by J.W. Lloyd...

a high-level general-purpose, multi-paradigm, compiled, declarative, static type programming language developed by Huawei which is an extension superset...

of Functional Programming (CUFP) conference. In April 2009, in its new form, it was released as FOSS. Atom is a concurrent programming language intended...

provides an intuitive programming framework based on common sense or practical reasoning. The main features of GOAL include: Declarative beliefs: Agents use...

without stopping a system. The Erlang programming language has data, pattern matching, and functional programming. The sequential subset of the Erlang...

a relational database. SQL is a set-based, declarative programming language, not an imperative programming language like C or BASIC. However, extensions...

seen as diametrically opposed to the declarative programming style used by the relational model. The declarative nature of relational languages such as...

Absys was an early declarative programming language from the University of Aberdeen. It anticipated a number of features of Prolog such as negation as...

Constraint Handling Rules (CHR) is a declarative, rule-based programming language, introduced in 1991 by Thom Frühwirth at the time with European Computer-Industry...

Loom's declarative and procedural components permits programmers to utilize logic programming, production rule, and object-oriented programming paradigms...