Some transformations for developing recursive programs.

Rod M. Burstall John Darlington

Published in: Reliable Software (1975)

Keyphrases

recursive programs
transformation rules
program synthesis
logic programs
database
web services
database systems
data model
information extraction