P. CASPI, D. PILAUD, N. HALBWACHS, J. PLAICE, LUSTRE, a Declarative Language for RealTime Programming, Proc. Conf. on Principles of Programming Languages, Munich, (987).  Home/Search   Document Not in Database   Summary   Related Articles

....(INRIA) 06565 Valbonne France Research funded by the French Coordinated Research Program C3 1. Introduction The ESTEREL programming language we present here is the oldest and presently most developed member of a novel family of synchronous languages, which also includes the LUSTRE [19] and SIGNAL [25] languages and the Statecharts formalism [26] These languages are specifically designed to program reactive systems, a variety of computerized systems that includes real time systems and all kinds of control automata. The mathematical semantics of ESTEREL was developed together ....

....basis of a general reactive programming language. 1.5. The ESTEREL imperative programming language As we mentioned in the beginning, several languages or formalisms have fully adopted the synchrony hypothesis. They have roughly the same power, but they differ by their programming style. LUSTRE [19] and SIGNAL [25] are declarative data flow languages very much in Kahn Mac Queen style [33] The Statecharts [26] are based on a hierarchical presentation of automata using graphical structures named tigrapts that support concurrency and communication. ESTEREL adopts a more classical imperative ....

P. CASPI, D. PILAUD, N. HALBWACHS, J. PLAICE, LUSTRE, a Declarative Language for RealTime Programming, Proc. Conf. on Principles of Programming Languages, Munich, (987).

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC