Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics.
Michael LöweUwe WolterPublished in: Math. Struct. Comput. Sci. (1995)
Keyphrases
- complex objects
- relational calculus
- logical formulas
- specification language
- operational semantics
- algebraic structure
- horn clauses
- linear time temporal logic
- formal semantics
- control flow
- attribute grammars
- formal specification
- algebraic curves
- predicate calculus
- formal language
- complete axiomatization
- action theories
- relational algebra
- modal operators
- semantic information
- logic programming
- parametric models
- predicate logic
- normal form
- distance function
- delay insensitive
- query language
- high level
- knowledge base