A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu
- 19 June 2018
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 53 (6), 1-18
- https://doi.org/10.1145/3299710.3211334
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- CÉU-MEDIAPublished by Association for Computing Machinery (ACM) ,2016
- Structured synchronous reactive programming with CéuPublished by Association for Computing Machinery (ACM) ,2015
- REScalaPublished by Association for Computing Machinery (ACM) ,2014
- High-Level Application Development is Realistic for Wireless Sensor NetworksPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- ProtothreadsPublished by Association for Computing Machinery (ACM) ,2006
- The Synchronous Hypothesis and Synchronous LanguagesPublished by Taylor & Francis Ltd ,2005
- The synchronous languages 12 years laterProceedings of the IEEE, 2003
- The STATEMATE semantics of statechartsACM Transactions on Software Engineering and Methodology, 1996
- Reactive C: An extension of C to program reactive systemsSoftware: Practice and Experience, 1991
- The ESTEREL languageProceedings of the IEEE, 1991