ABS: A Core Language for Abstract Behavioral Specification.
Einar Broch JohnsenReiner HähnleJan SchäferRudolf SchlatteMartin SteffenPublished in: FMCO (2010)
Keyphrases
- specification language
- high level
- programming language
- formal language
- formal languages
- language learning
- natural language
- state machines
- formal specification
- highly modular
- action language
- modelling language
- definition language
- operational semantics
- higher level
- description language
- exception handling
- conceptual model
- low level
- knowledge level
- language processing
- abstract data types
- modeling language
- state machine
- logic programs
- general purpose
- transition systems
- neural network