Reasoning About Programs with Effects.

Ian A. Mason Carolyn L. Talcott

Published in: PLILP (1990)

Keyphrases

data sets
automatic programming
computer based instruction
databases
genetic algorithm
computer vision
decision trees
three dimensional
expert systems
computer programs
intermediate level
formal theory
control structures