Proving Properties of Programs by Structural Induction.
Rod M. BurstallPublished in: Comput. J. (1969)
Keyphrases
- desirable properties
- imperative programs
- structural information
- structural properties
- functional programs
- genetic algorithm
- machine learning
- artificial intelligence
- clustering algorithm
- rough sets
- learning algorithm
- database
- computer programs
- structural features
- rule induction
- structural analysis
- topological properties
- concept formation
- real time