Declarative programming

In computer science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic of a computation without describing its control flow. Declarative programming often considers programs as theories of a formal logic, and computations as deductions in that logic space. Declarative programming may greatly simplify writing parallel programs.

Comment: enIn computer science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic of a computation without describing its control flow. Declarative programming often considers programs as theories of a formal logic, and computations as deductions in that logic space. Declarative programming may greatly simplify writing parallel programs.
Has abstract: enIn computer science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic of a computation without describing its control flow. Many languages that apply this style attempt to minimize or eliminate side effects by describing what the program must accomplish in terms of the problem domain, rather than describe how to accomplish it as a sequence of the programming language primitives (the how being left up to the language's implementation). This is in contrast with imperative programming, which implements algorithms in explicit steps. Declarative programming often considers programs as theories of a formal logic, and computations as deductions in that logic space. Declarative programming may greatly simplify writing parallel programs. Common declarative languages include those of database query languages (e.g., SQL, XQuery), regular expressions, logic programming, functional programming, and configuration management systems.
Hypernym: Style
Is primary topic of: Declarative programming
Label: enDeclarative programming
Link from a Wikipage to an external page: web.archive.org/web/20060424045449/http:/www.csc.liv.ac.uk/~frans/OldLectures/2CS24/declarative.html%23detail; existentialtype.wordpress.com/2013/07/18/what-if-anything-is-a-declarative-language/; existentialtype.wordpress.com/2013/07/22/there-is-such-a-thing-as-a-declarative-language/; web.archive.org/web/20060330033506/http:/www.cs.chalmers.se/~oloft/Papers/wm96/wm96.html
Link from a Wikipage to another Wikipage: Adjective; Algorithm; Analytica (software); Artificial intelligence; Backtracking; C (programming language); Category:Declarative programming; Category:Programming paradigms; Codomain; Comparison of programming paradigms; Computation; Computer science; Configuration management database; Constraint programming; Control flow; Data type; Domain knowledge; Domain of a function; Domain-specific language; Element (mathematics); Erlang (programming language); Family tree; First-class citizen; Functional programming; Function composition (computer science); Haskell (programming language); Higher-order function; HTML; Imperative programming; Inductive programming; Integrated development environment; Interaction; Language primitive; Lisp (programming language); List (abstract data type); List of programming languages by type; Logical programming; Logic programming; Make (software); Mathematical logic; ML (programming language); Modelica; Modeling language; MXML; Natural language; Object (philosophy); OCaml; Parallel computing; Procedural programming; Program (machine); Programming language implementation; Programming paradigm; Prolog; Puppet (software); Pure function; Pure functional language; Purely functional programming; QML; Query languages; Recursion (computer science); Referential transparency; Regular expression; Representational state transfer; Robert Harper (computer scientist); Scheme (programming language); Set (mathematics); Shortest path problem; Side effect (computer science); Simile (computing); SOAP; Solver (computer science); SQL; Standard ML; Tree (data structure); Turing-complete; Umbrella term; Unification (computing); User-interface markup language; XAML; XML namespace; XQuery; XSLT; Yacc
SameAs: 4293503-9; 4j2Pd; Bildirimsel programlama; Declaratieve taal; Declarative programming; Deklaratiivinen ohjelmointi; Deklaratiivne programmeerimine; Deklarative Programmierung; Deklarativní programování; Deklarativ programmering; Deklaratív programozás; Deklarativ proqramlaşdırma; Lập trình khai báo; m.01dxmk; Pemrograman deklaratif; Pengaturcaraan penyata; Programação declarativa; Programación declarativa; Programazio deklaratibo; Programmation déclarative; Programmazione dichiarativa; Programowanie deklaratywne; Q531152; Ríomhchlárú fógrach; Δηλωτικός προγραμματισμός; Декларативне програмування; Декларативное программирование; Декларативно програмирање; Декларатив тили; תכנות הצהרתי; برمجة تعريفية; برنامه‌نویسی اعلانی; 宣告式編程; 宣言型プログラミング; 선언형 프로그래밍
SeeAlso: Multi-paradigm programming language
Subject: Category:Declarative programming; Category:Programming paradigms
WasDerivedFrom: Declarative programming?oldid=1114688556&ns=0
WikiPageLength: 18733
Wikipage page ID: 210648
Wikipage revision ID: 1114688556
WikiPageUsesTemplate: Template:As of; Template:Authority control; Template:Citation needed; Template:Commonscat; Template:Main; Template:More footnotes; Template:Multiple issues; Template:Programming paradigms; Template:Refimprove; Template:Reflist; Template:See also; Template:Short description; Template:Sxhl; Template:Types of programming languages; Template:Which

Declarative programming

Backlinks

About

Resources

Support

Follow us