Towards a canonical form for computer programs.

Robert E. Noonan

Published in: ACM Annual Conference (1975)

Keyphrases

computer programs
canonical form
programming language
expert systems
rewrite rules
software agents
turing test
human users
database
geometric properties
tree structures
artificial intelligence
ground truth
image pairs