Constructive Semantics of Esterel: From Theory to Practice (Abstract).
Gérard BerryPublished in: AMAST (1996)
Keyphrases
- circuit design
- high level
- proof theory
- theoretical framework
- model theoretic
- theoretical insights
- real world
- logical properties
- logic programming
- algebraic structure
- theoretical basis
- logical framework
- graphical representation
- closed world assumption
- general theory
- speech acts
- formal semantics
- database
- semantic information
- semantic web
- keywords
- database systems
- data sets