Removing cycles in esterel programs

Eurasip Journal on Embedded Systems

Volumn 2007, Issue , 2007, Pages

  Lukoschus, Jan ^a   Von Hanxleden, Reinhard ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34250890709     PISSN: 16873955     EISSN: 16873963     Source Type: Journal    
DOI: 10.1155/2007/48979     Document Type: Article

References (28)

1. A. Benveniste Albert.Benveniste@inria.fr P. Caspi Paul.Caspi@imag.fr S. A. Edwards sedwards@cs.columbia.edu N. Halbwachs P. Le Guernic R. de Simone Robert.De-Simone@inria.fr The synchronous languages 12 years later. Proceedings of the IEEE 91 1 2003 64 83 special issue on Embedded Systems
2. G. Berry G. Gonthier The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming 19 2 1992 87 152
3. N. Halbwachs P. Caspi P. Raymond D. Pilaud The synchronous data flow programming language LUSTRE. Proceedings of the IEEE 79 9 1991 1305 1320
4. G. Berry The Constructive Semantics of Pure Esterel. draft Book, 1999, ftp://ftp-sop.inria.fr/esterel/pub/papers/constructiveness3.ps
5. G. Berry The Esterel v5 Language Primer, Version v591. Centre de Mathématiques Appliquées Ecole des Mines and INRIA, 06565 Sophia-Antipolis, 2000, ftp://ftp-sop.inria.fr/esterel/pub/papers/primer.pdf
6. Esterel.org, Esterel history, http://www-sop.inria.fr/esterel.org/Html/ History/History.htm
7. P. Pandya The saga of synchronous bus arbiter: on model checking quantitative timing properties of synchronous programs. Electronic Notes in Theoretical Computer Science 65 2002 5 894 908
8. J. Lukoschus R. von Hanxleden F. Maraninchi M. Pouzet V. Roy Removing cycles in Esterel programs. Proceedings of International Workshop on Synchronous Languages, Applications and Programming (SLAP '05) Edinburgh, Scotland, UK 2005
9. S. Malik Analysis of cyclic combinational circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13 7 1994 950 956
10. T. R. Shiple G. Berry H. Touati Constructive analysis of cyclic circuits. Proceedings of European Design and Test Conference (ED&TC '96) Paris, France 1996 328 333
11. G. Berry A. Bouali Y. Bres The Esterel v591 System Manual. INRIA, June 2000, http://www-sop.inria.fr/esterel.org/
12. CEC: The Columbia Esterel Compiler. http://www1.cs.columbia.edu/ ∼sedwards/cec/
13. S. A. Edwards An Esterel compiler for large control-dominated systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 21 2 2002 169 183
14. E. Closse M. Poize J. Pulou P. Venier D. Weil SAXO-RT: interpreting Esterel semantic on a sequential execution structure. Electronic Notes in Theoretical Computer Science 65 5 2002 864 878
15. D. Potop-Butucaru Optimizations for faster simulation of Esterel programs. Ecole des Mines de Paris Paris, France 2002
16. L. H. Yoong P. Roop Z. Salcic Compiling Esterel for distributed execution. Proceedings of International Workshop on Synchronous Languages, Applications, and Programming (SLAP '06) Vienna, Austria 2006
17. X. Li xli@informatik.uni-kiel.de M. Boldt mabo@informatik.uni-kiel.de R. von Hanxleden rvh@informatik.uni-kiel.de Mapping Esterel onto a multi-threaded embedded processor. Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '06) San Jose, Calif, USA 2006 303 314
18. S. A. Edwards sedwards@cs.columbia.edu Making cyclic circuits acyclic. Proceedings of the 40th Design Automation Conference (DAC '03) Anaheim, Calif, USA ACM Press 2003 159 162
19. J. Lukoschus Removing cycles in Esterel programs. Department of Computer Science, Christian-Albrechts-Universität Kiel Kiel, Germany 2006 http://e-diss.uni-kiel.de/tech-fak.html
20. K. Schneider M. Wenz A new method for compiling schizophrenic synchronous programs. Proceedings of International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES '01) Atlanta, Ga, USA 2001 ACM 49 58
21. O. Tardieu olivier.tardieu@sophia.inria.fr Goto and concurrency introducing safe jumps in Esterel. Proceedings of the 3rd International Workshop on Synchronous Languages, Applications, and Programs (SLAP '04) Barcelona, Spain 2004
22. F. Boussinot SugarCubes implementation of causality. Research Report INRIA Le Chesnay Cedex, France RR-3487 1998
23. K. Schneider J. Brandt T. Schüele T. Tüerk Improving constructiveness in code generators. Proceedings of International Workshop on Synchronous Languages, Applications and Programming (SLAP '05) Edinburgh, Scotland, UK 2005
24. Estbench Esterel Benchmark Suite. http://www1.cs.columbia.edu/ ∼sedwards/software/estbench-1.0.tar.gz
25. Esterel web, http://www-sop.inria.fr/esterel.org/
26. R. Cytron J. Ferrante B. K. Rosen M. N. Wegman F. K. Zadeck Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems 13 4 1991 451 490
27. Esterel Technologies Company homepage, http://www.esterel-technologies. com/
28. Free Software Foundation GCC - The GNU Compiler Collection. http://gcc.gnu.org/