Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.
Hartmut EhrigMichael BaldamusFelix CorneliusFernando OrejasPublished in: AMAST (1991)
Keyphrases
- algebraic structure
- specification language
- constraint language
- operational semantics
- algebraic geometry
- computer algebra
- proof theory
- formal languages
- abstract argumentation
- speech acts
- general theory
- mathematical theory
- process algebra
- control flow
- formal semantics
- formal methods
- logic programming
- semantic constraints
- semantic properties
- formal language
- action language
- dynamic constraints
- communicative acts
- linear algebra
- formal specification
- constraint satisfaction