Semantics of First Order Parametric Specifications.
Dusko PavlovicPublished in: World Congress on Formal Methods (1999)
Keyphrases
- sound and complete with respect
- model theoretic
- operational semantics
- specification language
- formal semantics
- conditional logic
- first order logic
- logical formulas
- formal language
- term rewriting
- attribute grammars
- control flow
- description logics
- delay insensitive
- default reasoning
- parametric models
- logic programming
- high level
- predicate calculus
- semantic constraints
- valued logic
- higher order