论文信息 - synERJY An Object-oriented Synchronous Language - 字舞流文

synERJY An Object-oriented Synchronous Language

The programming language synERJY is presented. It integrates object-orientation and synchronous formalisms in the spirit of Esterel, Lustre, and Statecharts.

Reinhard Budde | Karl-Heinz Sylla | Axel Poigné | R. Budde | A. Poigné | Karl-Heinz Sylla

[1] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2] BenvenisteAlbert,et al. Synchronous programming with events and relations , 1991 .

[3] Albert Benveniste,et al. programmi language and its , 2001 .

[4] Leszek Holenderski,et al. On the Combination of Synchronous Languages , 1997, COMPOS.

[5] Frédéric Boussinot,et al. Java threads and SugarCubes , 2000, Softw. Pract. Exp..

[6] Charles André. Representation and Analysis of Reactive Behaviors: A Synchronous Approach , 2000 .

[7] Gérard Berry,et al. The constructive semantics of pure esterel , 1996 .

[8] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[9] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[10] Florence Maraninchi,et al. Mode-Automata: About Modes and States for Reactive Systems , 1998, ESOP.

[11] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.