Keyphrases
- specification language
- formal specification
- attribute grammars
- programming language
- formal specification language
- formal language
- efficient implementation
- neural network
- operational semantics
- control flow
- language processing
- query language for xml
- data abstraction
- functional requirements
- database
- natural language
- case study
- artificial intelligence
- data sets
- real time