A language construct for the specification of discontinuities.
Shahram JaveyPublished in: J. Syst. Softw. (1988)
Keyphrases
- specification language
- formal language
- formal specification
- formal languages
- natural language
- action language
- operational semantics
- definition language
- language learning
- modelling language
- programming language
- language processing
- high level
- neural network
- formal verification
- language constructs
- description language
- formal methods
- database
- context dependent
- user defined
- artificial intelligence
- databases