An Introduction to the Construction and Verification of Alphard Programs (Abstract).
William A. WulfRalph L. LondonMary ShawPublished in: ICSE (1976)
Keyphrases
- symbolic execution
- data mining
- intermediate level
- model checking
- low level
- higher level
- face verification
- e learning
- construction process
- artificial intelligence
- hardware designs
- decision trees
- data model
- hidden markov models
- social networks
- computer programs
- programming environment
- formal verification
- data sets
- abstract interpretation