Category:Programming paradigm/Declarative: Difference between revisions

m
added whitespace.
(Moved content from paradigms page)
 
m (added whitespace.)
 
(2 intermediate revisions by 2 users not shown)
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.
 
 
Among the latter, according to the domain:
Line 14 ⟶ 16:
* database modeling: [[wp:IDEF|IDEF]];
* formal grammar parser generation: [[wp:Yacc|yacc]], [[wp:GNU_bison|bison]];
* logical inference: [[Prolog]], [[wp:Logtalk|Logtalk]];
* pattern matching: [[wp:Regex|regex]], [[wp:SNOBOL|SNOBOL]];
* process automation, modeling, simulation and control: [[wp:LabView|LabView]], [[wp:Modelica|Modelica]], [[wp:Simulink|MatLab/Simulink]], [[wp:Fuzzy_Control_Language|Fuzzy Control Language]];