ATLAS: a typed language for algebraic specification
B. M. HearnKarl MeinkePublished in: Forschungsberichte, TU Munich (1993)
Keyphrases
- specification language
- higher order
- lambda calculus
- formal language
- language learning
- action language
- operational semantics
- programming language
- formal languages
- modelling language
- exception handling
- representation language
- high level
- object oriented programming
- natural language
- mathematical theory
- definition language
- business rules
- modeling language
- fixed order
- e learning
- highly modular