Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
422495 | Electronic Notes in Theoretical Computer Science | 2007 | 19 Pages |
Abstract
McCarthy's amb operator has no known denotational semantics, and its basic operational properties - the context lemma, the compatibility of refinement similarity and convex bisimilarity - have long been open. In this paper, we give a single example program that demonstrates the failure of each of these properties. This shows that there cannot be any well-pointed denotational semantics.However, we show that, if amb is given at ground type only, then all of these operational properties do hold.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics