ACM SIGPLAN/SIGBED Intl. Conf. on Langs., Compilers, & Tools for Emb. Sys., LCTES 2018

Article Details
Title: A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu
Article URLs:
Alternative Article URLs:
Authors: Rodrigo C. M. Santos
  • PUC-Rio
Guilherme F. Lima
  • PUC-Rio
Francisco Sant'Anna
  • UERJ
Roberto Ierusalimschy
  • PUC-Rio
Edward Hermann Haeusler
  • PUC-Rio
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge:
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/lctrts/SantosLSIH18
Author Comments:

Discuss this paper and its artifacts below