Login / Signup
Towards Coq-verified Esterel Semantics and Compiling.
Gérard Berry
Lionel Rieg
Published in:
CoRR (2019)
Keyphrases
</>
circuit design
logic programming
semantic information
formal semantics
real world
real time
neural network
search engine
website
database systems
domain knowledge
logic programs
semantic relationships
formal methods
argumentation semantics