A Language for Inquiring about the Run-time Behaviour of Programs.
Jacques CohenNeal CarpenterPublished in: Softw. Pract. Exp. (1977)
Keyphrases
- programs written
- computer programs
- control structures
- programming language
- programming environment
- agent programming
- database languages
- error handling
- language learning
- object oriented languages
- natural language
- database
- data sets
- operating system
- object oriented programming
- specification language
- dynamic logic
- declarative semantics
- functional language
- functional programs
- java bytecode
- description languages
- concurrent programming
- functional programming
- logic programming language
- user behaviour
- operational semantics
- language processing
- logic programming
- relational databases
- database systems
- artificial intelligence