Keyphrases
- computer programs
- control flow
- control structures
- language learning
- programming environment
- data flow
- provably correct
- agent programming
- object oriented languages
- dynamic logic
- natural language
- description languages
- functional programs
- programming language
- multi faceted
- error handling
- intermediate level
- language constructs
- operational semantics
- closed world
- database systems
- concurrent programming
- control program
- declarative semantics
- database machine
- logic programming language
- specification language
- answer sets