Goal-Directed Program Transformation.

Published in: IEEE Trans. Software Eng. (1976)

Keyphrases

goal directed
autonomous robots
computer programs
automated planning
data sets
real world
artificial intelligence
decision trees
three dimensional
object oriented
program execution
control program