Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications.
Uwe WolterMichael LöwePublished in: CAAP (1992)
Keyphrases
- specification language
- conditional logic
- control flow
- operational semantics
- formal semantics
- formal language
- attribute grammars
- algebraic structure
- algebraic curves
- formal specification
- semantic information
- difference equations
- mathematical model
- delay insensitive
- data flow
- logic programming
- semantic constraints
- higher order
- relational databases
- high level