Declarative programming: Difference between revisions
Content added Content deleted
(I tried to sort out the declarative languages I know of. Feel free to extend.) |
(Redirected page to Category:Programming paradigm/Declarative) |
||
(2 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
[[Category:Programming |
#REDIRECT [[:Category:Programming paradigm/Declarative]] |
||
The major areas of declarative programming application are: |
|||
* Specifications and contracts, in the [[programming language]]s which support separation of specifications and implementations; |
|||
* Types declarations and inference in typed languages; |
|||
* Objects declarations in [[object-oriented programming]] languages as well as typed languages; |
|||
* Many domain-specific languages. |
|||
Among the latter, according to the domain: |
|||
* component interface specifications: [http://en.wikipedia.org/wiki/CORBA IDL]; |
|||
* correctness proving: [http://en.wikipedia.org/wiki/SPARK_%28programming_language%29 SPARK]; |
|||
* database modeling: [http://en.wikipedia.org/wiki/IDEF IDEF]; |
|||
* formal grammar parser generation: [http://en.wikipedia.org/wiki/Yacc yacc], [http://en.wikipedia.org/wiki/GNU_bison bison]; |
|||
* logical inference: [[Prolog]]; |
|||
* pattern matching: [http://en.wikipedia.org/wiki/Regex regex], [http://en.wikipedia.org/wiki/SNOBOL SNOBOL]; |
|||
* process automation, modeling, simulation and control: [http://en.wikipedia.org/wiki/LabView LabView], [http://en.wikipedia.org/wiki/Modelica Modelica], [http://en.wikipedia.org/wiki/Simulink MatLab/Simulink], [http://en.wikipedia.org/wiki/Fuzzy_Control_Language Fuzzy Control Language]; |
|||
* software modeling: [http://en.wikipedia.org/wiki/Unified_Modeling_Language UML]; |
|||
* symbolic analysis and computations: [http://en.wikipedia.org/wiki/Mathematica Mathematica]. |
Latest revision as of 20:23, 17 August 2009
Redirect to: