Towards Coq-verified Esterel Semantics and Compiling

27 Sep 2019 Berry Gérard Rieg Lionel

This paper focuses on semantics of the Esterel synchronous programming language. In particular, in addition to the usual behavioral (CBS) and state (CSS) semantics, it introduces a novel microstep semantics which does not need the Can potential function... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • FORMAL LANGUAGES AND AUTOMATA THEORY
  • LOGIC IN COMPUTER SCIENCE
  • PROGRAMMING LANGUAGES