Specification and Correctness of Lambda Lifting.

Adam Fischbach John Hannan

Published in: SAIG (2000)

Keyphrases

provably correct
wavelet transform
high level
specification language
workflow specification
data mining
search algorithm
fixed point
temporal constraints
case study
formal specification
lifting scheme
lambda calculus