Primitive Recursive Program Transformations.

Robert S. Boyer J. Strother Moore Robert E. Shostak

Published in: POPL (1976)

Keyphrases

programming environment
image processing
evolutionary algorithm
real world
high level
multi agent systems
static analysis
automatic programming