Category:Programming paradigm/Declarative: Difference between revisions

Content added Content deleted

Inline

Revision as of 09:19, 26 August 2010

Declarative programming is a programming model. See main article imperative programming.

The major areas of declarative programming application are:

Specifications and contracts, in the programming languages which support separation of specifications and implementations;
Type declarations and type inference in typed languages;
Object declarations in object-oriented programming languages, as well as in typed languages in general;
Annotations, such as are found as in C# and Java;
Many domain-specific languages.

Among the latter, according to the domain:

component interface specifications: IDL;
correctness proving: SPARK;
database modeling: IDEF;
formal grammar parser generation: yacc, bison;
logical inference: Prolog;
pattern matching: regex, SNOBOL;
process automation, modeling, simulation and control: LabView, Modelica, MatLab/Simulink, Fuzzy Control Language;
software modeling: UML;
symbolic analysis and computations: Mathematica.

This category has the following 28 subcategories, out of 28 total.

@@ Line 6: / Line 6: @@
 * Type declarations and type inference in typed languages;
 * Object declarations in [[object-oriented programming]] languages, as well as in typed languages in general;
+* Annotations, such as are found as in [[C sharp|C#]] and [[Java]];
 * Many domain-specific languages.