Searching for "Formalizing Implementation Strategies for First-Class Continuations." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Formalizing Implementation Strategies for First-Class Continuations
by O. Danvy, Olivier Danvy — 2000 — in [31
…BRICS RS-99-51 O. Danvy: Formalizing Implementation Strategies for First-Class Continuations BRICS…
Cited by 16 (1 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
… Danvy. Formalizing Implementation Strategies for FirstClass Continuations. December 1999. Extended…
Add To MetaCart

Showing 1 through 2.

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