Translation validation for synchronous languages
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 235-246
- https://doi.org/10.1007/bfb0055057
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Operational and compositional semantics of synchronous automaton compositionsPublished by Springer Nature ,2006
- Translation validationPublished by Springer Nature ,1998
- A provably correct embedded verifier for the certification of safety critical softwarePublished by Springer Nature ,1997
- The Classical Decision ProblemPublished by Springer Nature ,1997
- The Esterel synchronous programming language: design, semantics, implementationScience of Computer Programming, 1992
- Synchronous programming with events and relations: the SIGNAL language and its semanticsScience of Computer Programming, 1991
- The existence of refinement mappingsTheoretical Computer Science, 1991
- The synchronous data flow programming language LUSTREProceedings of the IEEE, 1991