Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle.
C. A. R. HoarePublished in: World Congress on Formal Methods (1999)
Keyphrases
- programming language
- programming environment
- theoretical framework
- high level language
- neural network
- computer programming
- multi party
- development environment
- object oriented programming
- database systems
- case study
- programming course
- programming concepts
- speaker diarization
- introductory programming
- legal knowledge
- databases