Lustre programming language
Lustre programming language Lustre is a formally defined, declarative, and synchronous data-flow programming language, for programming reactive systems. It ...
http://en.wikipedia.org/wiki/Lustre_programming_language - 1k - Cached - Similar pages

Synchronous programming language
Synchronous programming language A synchronous programming language is a programming language optimized for programming reactive systems, ...
http://en.wikipedia.org/wiki/Synchronous_programming_language - 1k - Cached - Similar pages

Declarative programming language
Declarative programming language A declarative programming language is a high-level language that describes a problem rather than ...
http://en.wikipedia.org/wiki/Declarative_programming_language - 4k - Cached - Similar pages

Lustre
Lustre For the file system called Lustre, see Lustre (file system). For the municipality in Norway, see Luster, Norway. For the synchronous programming language, see Lustre programming language There is ...
http://en.wikipedia.org/wiki/Lustre - 2k - Cached - Similar pages

Categorical list of programming languages
Categorical list of programming languages This is a list of programming languages grouped by category. Other lists of programming languages are: Alphabetical Categorical Chronological Generational Array languages Array programming languages (also known as vector or multidimensional ... vectors, matrices, and higher dimensional arrays. [[A+ (programming language)|A+]] APL F FISh Fortran ...
http://en.wikipedia.org/wiki/Categorical_list_of_programming_languages - 46k - Cached - Similar pages

Alphabetical list of programming languages
Alphabetical list of programming languages The list of programming languages is comprised of all notable programming languages in existence, currently or since the ... computing, in alphabetical order. Other lists of programming languages are: Alphabetical Categorical Chronological Generational Note: Esoteric programming languages have been moved to the ...
http://en.wikipedia.org/wiki/Alphabetical_list_of_programming_languages - 12k - Cached - Similar pages

Category:Declarative programming languages
Category:Declarative programming languages This category lists those programming languages that adhere to the declarative programming paradigm. Subcategories There are 3 subcategories to ... this category. F Functional languages Functional logic programming languages L Logic programming languages Pages in category "Declarative programming ...
http://en.wikipedia.org/wiki/Category:Declarative_programming_languages - 1k - Cached - Similar pages

Category:Synchronous programming languages
Category:Synchronous programming languages Pages in category "Synchronous programming languages" There are 7 pages in this section of this category. Synchronous programming language A Averest E Esterel Esterel Studio L Lustre programming language S SCADE SyncCharts
http://en.wikipedia.org/wiki/Category:Synchronous_programming_languages - 0k - Cached - Similar pages

Category:Formal methods
... from requirements, specification and design through to programming and implementation. They form an important theoretical ... A Actor model Automata theory F Functional programming L Lambda calculus Logic programming P Formal methods people Process calculi T ... computer science) Action semantics Algebraic semantics Alloy language Assertion (computing) Asynchronous Systems Automated theorem proving ... Bisimulation C CHIC CICS Common Algebraic Specification Language Community Z Tools Computer-assisted proof ...
http://en.wikipedia.org/wiki/Category:Formal_methods - 6k - Cached - Similar pages

Esterel
Esterel Esterel is a synchronous programming language for the development of complex reactive systems . The imperative programming style of Esterel allows the simple expression ... dominated model designs. The development of the language started in the early 1980s, and was ... specifying control systems Completely deterministic Finite-state language Execution time predictable Much easier to ...
http://en.wikipedia.org/wiki/Esterel - 9k - Cached - Similar pages