Provable programming.

Published in: Reliable Software (1975)

Keyphrases

programming language
object oriented programming
computer programming
databases
development environment
programming environment
real world
metadata
expert systems
worst case