A multiparadigm language for reactive systems
作者： M. Jourdan , F. Lagnier , F. Maraninchi , P. Raymond
关键词: Computer science 、 Functional reactive programming 、 Theoretical computer science 、 Language construct 、 Fourth-generation programming language 、 Reactive system 、 Programming language theory 、 Reactive programming 、 High-level programming language 、 Lustre (programming language) 、 Programming language
摘要: A system is said to be reactive if it interacts continuously with an environment, at a speed imposed by the environment. The deals inputs and outputs languages for programming systems aim describing complex ordering causality relations between corresponding outputs. synchronous approach, based upon assumption that reacts in zero time, allows definition of compositional semantics various kinds language constructs, data-flow frameworks as well imperative frameworks. We take advantage this compositionality property define mixing constructs automaton compositions single language. apply results Lustre Argos, discuss some implementation issues. >
sci-hub.se 参考文章(4)
D. Harel, A. Pnueli, On the development of reactive systems Logics and models of concurrent systems. pp. 477- 498 ,(1989) , 10.1007/978-3-642-82453-1_17
Daniel Pilaud, John Plaice, Paul Caspi, Nicolas Halbwachs, LUSTRE: A declarative language for programming synchronous systems* POPL. pp. 178- 188 ,(1987)
Gérard Berry, Georges Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation Science of Computer Programming. ,vol. 19, pp. 87- 152 ,(1992) , 10.1016/0167-6423(92)90005-V
P. Le Guernic, A. Benveniste, P. Bournai, T. Gautier, Signal--A data flow-oriented language for signal processing IEEE Transactions on Acoustics, Speech, and Signal Processing. ,vol. 34, pp. 362- 374 ,(1986) , 10.1109/TASSP.1986.1164809