Transforming Programs into Recursive Functions.

Magnus O. Myreen Michael J. C. Gordon

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

recursive functions
inductive inference
case study
high level
prior knowledge
computer programs
pattern languages
fixpoint