Designing Programs That Check Their Work

Manuel Blum Sampath Kannan

Published in: STOC (1989)

Keyphrases

java programs
data sets
databases
genetic algorithm
automatic programming
machine learning
information systems
e learning
three dimensional
data structure
information technology
multiresolution
special case
mobile robot
open source