ACT TWO: An Algebraic Module Specification and Interconnection Language.
Werner FeyPublished in: AMAST (1991)
Keyphrases
- specification language
- formal language
- operational semantics
- formal languages
- programming language
- action language
- language learning
- high density
- natural language
- description language
- high level
- formal specification
- object oriented programming
- representation language
- definition language
- logic programming
- highly modular
- modeling language
- conceptual model
- modelling language
- database