On program verification and easy to veryfy programming.
Timothy WhitePublished in: ACM Annual Conference (1973)
Keyphrases
- programming language
- program code
- development environment
- computer programming
- computer vision
- image processing
- expert systems
- high level language
- programming environments
- hidden markov models
- evolutionary algorithm
- relational databases
- real time
- image sequences
- decision making
- artificial intelligence
- machine learning
- real world
- data sets