Keyphrases
- formal language
- imperative programs
- desirable properties
- programming language
- programming environment
- computer programs
- dynamic logic
- control structures
- structural properties
- object oriented languages
- information systems
- functional programs
- database languages
- natural language
- social networks
- logic programming language
- english language
- specification language
- object oriented programming
- language learning