Translation validation for synchronous languages

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

Volumn 1443 LNCS, Issue , 1998, Pages 235-246

  Pnueli, A ^a   Shtrichman, O ^a   Siegel, M ^a  

^a Department of Plant Sciences   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

CODE GENERATORS; COMPILER VERIFICATIONS; INDUSTRIAL CODES; INTERMEDIATE FORMATS; SYNCHRONOUS LANGUAGES; TRANSLATION VALIDATION; VALIDATION PHASE; VALIDATION PROCESS;

AUTOMATA THEORY; OPTIMIZATION; PROGRAM TRANSLATORS; TRANSLATION (LANGUAGES);

PROGRAM COMPILERS;

EID: 84878596491     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (11)

1. M. Abadi and L. Lamport. The existence of refinement mappings. Theoretical Computer Science., 82(2), 1991.
2. A. Benviniste, P. Le Guernic, and C. Jacqiieniot. Synchronous programming with events and relations: the SIGNAL language. Science of Computer Programming, 16, 1991.
3. G. Berry and G. Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2), 1992.
4. E. Börger, E. Grädel, and Y. Curevich. The Classical Vccision Problem. Springer, 1996.
5. P. Caspi, N. Halbwachs, P. Raymond, and D. Pilaud. The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE, 79(9), 1991.
6. A. Cimatti, F. Giunchiglia, and P. Pecchiari et al. A provably correct embedded verifier for the certification of safety critical software. In CAV, number 1254 in LNCS. Springer, 1997.
7. The declarative code DG+. ESPRIT Project: SACRES, Project Report, 1997. Version 1.3.
8. Another look at real-time programming, volume 79 of Special Issue in Proc. of the IEEE, September 1991.
9. F. Maraninchi. Operational and compositional semantics of synchronous automata compositions. In Proceedings CONCUR, volume 630 of LNCS. Springer, 1992.
10. A. Pnueli, M. Siegel, and E. Singermann. Translation validation. In TACAS 98: Tools and Algorithms for the. Construction and Analysis of Systems, LNCS. Springer-Verlag, 1998.
11. private communications with TNI (BREST), Siemens (Munich) and Inria (Rennes).