Keyphrases
- specification language
- operational semantics
- control flow
- attribute grammars
- information exchange
- formal language
- high level
- database systems
- domain knowledge
- object oriented
- logic programming
- semantic constraints
- formal semantics
- artificial intelligence
- delay insensitive
- logical language
- data flow
- functional requirements
- conceptual graphs
- databases
- case study
- genetic algorithm
- neural network