Some correctness principles for machine language programs and microprograms.
W. D. MaurerPublished in: MICRO (1974)
Keyphrases
- computer programs
- object oriented languages
- programming environment
- functional programs
- intermediate level
- natural language
- provably correct
- control structures
- turing machine
- language learning
- concurrent programs
- programming language
- control program
- design principles
- concurrent programming
- error handling
- database languages
- agent programming
- database
- automatic programming
- english language
- dynamic logic
- general purpose
- language constructs
- object oriented
- description languages
- functional language
- relational databases
- finite state machines