Specification and correctness of lambda lifting.

Adam Fischbach John Hannan

Published in: J. Funct. Program. (2003)

Keyphrases

provably correct
wavelet transform
specification language
machine learning
high level
real time
real world
fixed point
formal specification
formal verification
feature selection
image processing
relational databases
conceptual model
formal methods