Assertions in Programming: From Scientific Theory to Engineering Practice.
C. A. R. HoarePublished in: Soft-Ware (2002)
Keyphrases
- materials science
- artificial intelligence
- theoretical framework
- knowledge base
- engineering problems
- programming language
- neural network
- software engineering
- computer science
- learning environment
- theoretical frameworks
- theoretical insights
- information technology
- digital libraries
- software development
- theoretical basis
- computer programming
- real world
- mechanical engineering
- database