A Language Facilitating Informal Reasoning about Programs.
J. Nelson RushtonDwayne TowellPublished in: SEKE (2007)
Keyphrases
- programming language
- object oriented languages
- computer programs
- formal theory
- dynamic logic
- natural language
- programming environment
- agent programming
- database languages
- control structures
- data sets
- language learning
- spatial reasoning
- intermediate level
- turing machine
- operational semantics
- database systems
- automatic programming
- reasoning about actions
- database
- specification language
- target language
- object oriented
- programs written
- error handling
- concurrent programming
- declarative programming