Searching for "Lambda-dropping transforming recursive equations into programs with block structure." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
by Olivier Danvy, Ulrik P. Schultz, Campus Universitaire De Beaulieu, F- Rennes Cedex — 1995
…://www.irisa.fr/compose/ups Abstract Lambda-lifting a block-structured program transforms it into a set of recursive equations. We…
Cited by 29 (8 self) – Add To MetaCart

March 1999. 21 pp. Appears in Mendelzon, editor,
by Eighth International World, Klaus Havelund, Kim G. Larsen, Arne Skou, Formal Verification, Rune B. Lyngs, Christian N. S. Pedersen, Henrik Nielsen Measures, Julian C. Bradfield, Perdita Stevens, Observational Mu-calculus, Sibylle B. Frschle, Thomas Troels Hildebr, T On Plain
… Recursive Equations into Programs with Block Structure. September 1999. 57 pp. To appear in Theoretical…
Add To MetaCart

BRICS Research Series, 1997
by Brics, David A. Schmidt, Abstract Interpretation, Operational Semantics, Olivier Danvy, Mayer Goldberg, Partial Evaluation Euclidian, Jesper G. Henriksen — 1999
… and Ulrik P. Schultz. Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB