Lambda Lifting: Treansforming Programs to Recursive Equations.

Thomas Johnsson

Published in: FPCA (1985)

Keyphrases

recursive programs
linear equations
wavelet transform
mathematical model
differential equations
numerical solution
logic programs
fixpoint
automatic programming
recursive functions
machine learning
artificial intelligence
image segmentation
subband
program synthesis
nonlinear equations