A deterministic logical semantics for pure Esterel.
Olivier TardieuPublished in: ACM Trans. Program. Lang. Syst. (2007)
Keyphrases
- circuit design
- logical properties
- model theoretic
- logical language
- predicate calculus
- fixpoint semantics
- logical rules
- logic programming
- dynamic logic
- formal semantics
- conceptual graphs
- operational semantics
- deductive databases
- knowledge base
- schema mappings
- object oriented
- multi agent systems
- logical reasoning
- bayesian networks
- database languages
- data sets