Synchronous programming language: Difference between revisions

Revision as of 11:55, 7 January 2015

Revision as of 08:16, 24 January 2015

Line 15:

==Synchronous languages==

*[[Argos (programming language)|Argos]]

*[[Atom (programming language)|Atom]] (a DSL in [[Haskell (programming language)|Haskell]] for hard realtime embedded programming)

*[[Averest]]

Line 21:

*[[Esterel]] <ref name="Berry Gonthier">G. Berry and G. Gonthier. The synchronous programming language ESTEREL: Design, semantics, implementation. ''Science of Computer Programming'', 19(2), 1992.</ref>

*[[LabVIEW]]

*[[LEA (programming language)|LEA]]

*[[Lustre (programming language)|Lustre]]

*[[PLEXIL]]

*[[SIGNAL (programming language)|SIGNAL]] (a dataflow-oriented synchronous language enabling multi-clock specifications)

*[[Secure Operations Language|SOL]]

*[[SyncCharts]]