Introduction to Algebraic Specifications Based on the Language ACT ONE.
Jan de MeerRudolf RothSon T. VuongPublished in: Comput. Networks ISDN Syst. (1992)
Keyphrases
- specification language
- operational semantics
- programming language
- formal language
- language learning
- algebraic expressions
- natural language
- higher order
- formal specification
- information technology
- databases
- controlled natural language
- formal languages
- neural network
- mathematical theory
- real time
- high level
- multi agent
- description language
- computational linguistics
- metadata
- machine learning
- conceptual graphs
- agent programming
- general purpose