Searching for "A Relational Account of Call-by-Value Sequentiality." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

A Relational Account of Call-by-Value Sequentiality
by Anders B. Sandholm, Jon G. Riecke, Jon G. Riecke, Anders Sandholm — 1999 — In: Proc. 12th Symp. Logic in Computer Science
…BRICS RS-99-10 Riecke & Sandholm: A Relational Account of Call-by-Value Sequentiality BRICS Basic…
Cited by 13 (2 self) – Add To MetaCart

A Relational Account of Call-by-Value Sequentiality
by Jon Riecke Bell, Anders Sandholm — 1997
…A Relational Account of Call-by-Value Sequentiality Jon G. Riecke Bell Laboratories Lucent…
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
…. Riecke and Anders B. Sandholm. A Relational Account of Call-by-Value Sequentiality. March 1999. 51 pp…
Add To MetaCart

Programming Languages: Design, Analysis, and Semantics
by Anders B. Sandholm, Anders B. S — 2000
…: Chapter 9 [111]: A Relational Account of Call-by-Value Sequentiality, with Jon G. Riecke. To appear…
Cited by 8 (0 self) – Add To MetaCart

Showing 1 through 4.

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