A Transformation System for Developing Recursive Programs.

Rod M. Burstall John Darlington

Published in: J. ACM (1977)

Keyphrases

recursive programs
transformation rules
program synthesis
logic programs
metamodel
databases
data mining
web services