Compiling ARGOS into boolean equations: (Extended abstract)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1135, Issue , 1996, Pages 72-89

  Maraninchi, Florence ^a   Halbwachs, N ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; FORMAL METHODS; REAL TIME SYSTEMS; SEMANTICS; SEQUENTIAL MACHINES;

BOOLEAN EQUATIONS; COMPILATION PROCESS; CONTROL STRUCTURE; EXTENDED ABSTRACTS; FORMAL SEMANTICS; IMPERATIVE SYNCHRONOUS LANGUAGES; NUMBER OF STATE; SYNCHRONOUS LANGUAGES;

BOOLEAN ALGEBRA;

EID: 84947799141     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61648-9_35     Document Type: Conference Paper

References (11)

1. G. Berry. The constructive semantics of Esterel. in preparation.
2. G. Berry. A hardware implementation of pure ESTEREL. In ACM Workshop on Formal Methods in VLSI Design, Miami, January 1991.
3. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science Of Computer Programming, 19(2):87-152, 1992.
4. C2A-SYNCIIRON. The common format of synchronous languages -The declarative code DC version 1.0. Technical report, SYNCIIRON project, October 1995.
5. N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993.
6. D. Itarel. Statecharts: A visual approach to complex systems. Science of Computer Programming, 8:231-275, 1987.
7. N. Halbwachs and F. Maraninchi. On the symbolic analysis of combinational loops in circuits and synchronous programs. In EUROMICRO, Como, Italy, September 1995.
8. Another look at real-time programming. Special Section of the Proceedings of the IEEE, 79(9), September 1991.
9. M. Jourdan, F. Lagnier, F. Maraninchi, and P. Raymond. A multiparadigm language for reactive systems. In In 5th IEEE International Conference on Computer Languages, Toulouse, May 1994. IEEE Computer Society Press.
10. M. Jourdan and F. Maraninchi. Studying synchronous communication mechanisms by abstractions. In IFIP Working Conference on Programming Concepts, Methods and Calculi, San Miniato, Italy, jun 1994. Elsevier Science Publishers.
11. F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In CONCUR. LNCS 630, Springer Verlag, August 1992.