Curing schizophrenia by program rewriting in Esterel

Proceedings - 2nd ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'04

Volumn , Issue , 2004, Pages 39-48

  Tardieu, Olivier ^a   De Simone, Robert ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; MATHEMATICAL MODELS;

COMPUTATION MODELS; PROGRAM REWRITING; STATEMENTS;

COMPUTER PROGRAMMING;

EID: 28344450101     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. The Esterel v5_92 Compiler. http://www-sop.inria.fr/esterel.org/.
2. A. Arnold and I. Castellani. An algebraic characterization of observational equivalence. Theoretical Computer Science, 156:289-299, 1996.
3. G. Berry. The constructive semantics of pure Esterel. http://www-sop.inria.fr/esterel.org/, 1999.
4. G. Berry. The Esterel language primer v5_91. http://www-sop.inria.fr/ esterel.org/, 2000.
5. G. Berry. The foundations of Esterel. In Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000.
6. G. Berry and L. Cosserat. The synchronous programming language ESTEREL and its mathematical semantics. LNCS, 197, 1984.
7. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
8. F. Boussinot and R. de Simone. The Esterel language. Another Look at Real Time Programming, Proceedings of the IEEE, 79:1293-1304, 1991.
9. S. A. Edwards. Languages for Digital Embedded Systems. Kluwer, 2000.
10. S. A. Edwards, V. Kapadia, and M. Halas. Compiling Esterel into Static Discrete-Event Code. In SLAP, 2004.
11. G. Gonthier. Sémantique et modèles d'exécution des langages réactifs synchrones: application à Esterel. PhD thesis, Université d'Orsay, 1988.
12. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer, 1993.
13. F. Mignard. Compilation du langage Esterel en systèmes d'équations booléennes. PhD thesis, Ecole des Mines de Paris, 1994.
14. D. Potop-Butucaru. Optimizations for Faster Execution of Esterel Programs. PhD thesis, Ecole des Mines de Paris, 2002.
15. K. Schneider. A verified hardware synthesis for Esterel. In DIPES, pages 205-214, 2000.
16. K. Schneider and M. Wenz. A new method for compiling schizophrenic synchronous programs. In CASES, pages 49-58, 2001.
17. O. Tardieu. Goto and concurrency: introducing safe jumps in Esterel. In SLAP, 2004.
18. O. Tardieu and R. de Simone. Instantaneous termination in pure Esterel. In SAS, pages 91-108, 2003.