@inproceedings{rodrigo_c_m_santos_memory-bounded_2018,
	location = {New York, {NY}, {USA}},
	title = {A memory-bounded, deterministic and terminating semantics for the synchronous programming language {CéU}},
	isbn = {978-1-4503-5803-3},
	url = {http://doi.acm.org/10.1145/3211332.3211334},
	doi = {10.1145/3211332.3211334},
	series = {{LCTES} 2018},
	abstract = {Céu is a synchronous programming language for embedded soft real-time systems. It focuses on control-flow safety features, such as safe shared-memory concurrency and safe abortion of lines of execution, while enforcing memory bounded, deterministic, and terminating reactions to the environment. In this work, we present a small-step structural operational semantics for Céu and a proof that reactions have the properties enumerated above: that for a given arbitrary timeline of input events, multiple executions of the same program always react in bounded time and arrive at the same final finite memory state.},
	pages = {1--18},
	booktitle = {Proceedings of the 19th {ACM} {SIGPLAN}/{SIGBED} international conference on languages, compilers, and tools for embedded systems},
	publisher = {{ACM}},
	author = {{Rodrigo C. M. Santos} and Lima, Guilherme F. and Sant'Anna, Francisco and Ierusalimschy, Roberto and Haeusler, Edward H.},
	year = {2018},
}

{"_id":"iMBfCMB4gXHRHeszA","bibbaseid":"rodrigocmsantos-lima-santanna-ierusalimschy-haeusler-amemoryboundeddeterministicandterminatingsemanticsforthesynchronousprogramminglanguagecu-2018","authorIDs":[],"author_short":["Rodrigo C. M. Santos","Lima, G. F.","Sant'Anna, F.","Ierusalimschy, R.","Haeusler, E. H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","location":"New York, NY, USA","title":"A memory-bounded, deterministic and terminating semantics for the synchronous programming language CéU","isbn":"978-1-4503-5803-3","url":"http://doi.acm.org/10.1145/3211332.3211334","doi":"10.1145/3211332.3211334","series":"LCTES 2018","abstract":"Céu is a synchronous programming language for embedded soft real-time systems. It focuses on control-flow safety features, such as safe shared-memory concurrency and safe abortion of lines of execution, while enforcing memory bounded, deterministic, and terminating reactions to the environment. In this work, we present a small-step structural operational semantics for Céu and a proof that reactions have the properties enumerated above: that for a given arbitrary timeline of input events, multiple executions of the same program always react in bounded time and arrive at the same final finite memory state.","pages":"1–18","booktitle":"Proceedings of the 19th ACM SIGPLAN/SIGBED international conference on languages, compilers, and tools for embedded systems","publisher":"ACM","author":[{"firstnames":[],"propositions":[],"lastnames":["Rodrigo C. M. Santos"],"suffixes":[]},{"propositions":[],"lastnames":["Lima"],"firstnames":["Guilherme","F."],"suffixes":[]},{"propositions":[],"lastnames":["Sant'Anna"],"firstnames":["Francisco"],"suffixes":[]},{"propositions":[],"lastnames":["Ierusalimschy"],"firstnames":["Roberto"],"suffixes":[]},{"propositions":[],"lastnames":["Haeusler"],"firstnames":["Edward","H."],"suffixes":[]}],"year":"2018","bibtex":"@inproceedings{rodrigo_c_m_santos_memory-bounded_2018,\n\tlocation = {New York, {NY}, {USA}},\n\ttitle = {A memory-bounded, deterministic and terminating semantics for the synchronous programming language {CéU}},\n\tisbn = {978-1-4503-5803-3},\n\turl = {http://doi.acm.org/10.1145/3211332.3211334},\n\tdoi = {10.1145/3211332.3211334},\n\tseries = {{LCTES} 2018},\n\tabstract = {Céu is a synchronous programming language for embedded soft real-time systems. It focuses on control-flow safety features, such as safe shared-memory concurrency and safe abortion of lines of execution, while enforcing memory bounded, deterministic, and terminating reactions to the environment. In this work, we present a small-step structural operational semantics for Céu and a proof that reactions have the properties enumerated above: that for a given arbitrary timeline of input events, multiple executions of the same program always react in bounded time and arrive at the same final finite memory state.},\n\tpages = {1--18},\n\tbooktitle = {Proceedings of the 19th {ACM} {SIGPLAN}/{SIGBED} international conference on languages, compilers, and tools for embedded systems},\n\tpublisher = {{ACM}},\n\tauthor = {{Rodrigo C. M. Santos} and Lima, Guilherme F. and Sant'Anna, Francisco and Ierusalimschy, Roberto and Haeusler, Edward H.},\n\tyear = {2018},\n}\n\n","author_short":["Rodrigo C. M. Santos","Lima, G. F.","Sant'Anna, F.","Ierusalimschy, R.","Haeusler, E. H."],"key":"rodrigo_c_m_santos_memory-bounded_2018","id":"rodrigo_c_m_santos_memory-bounded_2018","bibbaseid":"rodrigocmsantos-lima-santanna-ierusalimschy-haeusler-amemoryboundeddeterministicandterminatingsemanticsforthesynchronousprogramminglanguagecu-2018","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/3211332.3211334"},"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"inproceedings","biburl":"http://www.telemidia.puc-rio.br/files/biblio/all.bib","creationDate":"2020-03-04T14:40:15.412Z","downloads":3,"keywords":[],"search_terms":["memory","bounded","deterministic","terminating","semantics","synchronous","programming","language","rodrigo c. m. santos","lima","sant'anna","ierusalimschy","haeusler"],"title":"A memory-bounded, deterministic and terminating semantics for the synchronous programming language CéU","year":2018,"dataSources":["gXSBTZhj3xCWydoZF"]}