Making Choices Lazily (1995) [6 citations — 4 self]
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Hughes95makingchoices,author = {John Hughes and Andrew Moran},
title = {Making Choices Lazily},
booktitle = {Proc. FPCA'95, ACM},
year = {1995},
pages = {108--119},
publisher = {ACM Press}
}
Years of Citing Articles
Abstract:
We present a natural semantics that models the untyped, normal order-calculus plus McCarthy's amb in the context of call-by-need parameter passing. This results in a singular semantics for amb. Previous work on singular choice has concentrated on erratic choice, a less interesting nondeterministic choice operator, and only in relation to callby-value parameter passing, or call-by-name restricted to deterministic terms. The natural semantics contains rules for both convergent and divergent behaviour, allowing it to distinguish programs that differ only in their divergent behaviour. As a result, it is more discriminating than current domain-theoretic models. This, and the fact that it models singular amb, makes the natural semantics suitable for reasoning about lazy, functional languages containing McCarthy's amb.
