Executable Specification of Static Semantics.
Thierry DespeyrouxPublished in: Semantics of Data Types (1984)
Keyphrases
- formal specification
- process algebra
- specification language
- specification languages
- attribute grammars
- control flow
- model checking
- dynamic constraints
- concurrent systems
- asynchronous circuits
- formal semantics
- web services composition
- operational semantics
- formal language
- conceptual model
- action language
- definition language
- logic programming
- formal methods
- active rules
- description language
- speech acts
- database
- formal languages
- semantic information
- temporal logic
- programming language
- high level
- knowledge base