Abstract
McCarthy's ambiguous operator amb is a locally angelic choice operator. A description of its semantics using power domains is much more complex than similar descriptions of globally angelic choice or erratic choice. Operational semantics based on rewrite rules are used here to compare the three kinds of choice. A natural problem shows erratic choice to be less expressive than the angelic forms of choice. Erratic choice and globally angelic choice share a pleasant distribution property that has been proposed as the basis for an algebra of nondeterministic programs. Locally angelic choice does not share this property. Locally angelic choice may play a role in otherwise globally angelic nondeterministic programs similar to the role played by the cut operator in Prolog.
Preview
Unable to display preview. Download preview PDF.
References
H P Barendregt, The Lambda Calculus: its Syntax and Semantics, North-Holland, Amsterdam, 1981.
G Berry, “Séquentialité de l'evaluation formelle des lambda-expressions”, in: Proc. 3-e Colloque International sur la Programmation, Paris, mars 1978 (Dunod, Paris).
Manfred Broy, “A fixed point approach to applicative multiprogramming”, lecture notes for the International Summer School on Theoretical Foundations of Programming Methodology, July 1981.
William Clinger, “Nondeterministic call by need is neither lazy nor by name”, Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming, August 1982, pages 226–234.
A Toni Cohen and Thomas J Myers, “Toward an algebra of nondeterministic programs”, Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming, August 1982, pages 235–242.
M C B Hennessy and E A Ashcroft, “Parameter passing methods and nondeterminism”, Ninth Annual ACM Symposium on the Theory of Computing, Boulder, 1977.
J R Kenneway and C A R Hoare, “A theory of nondeterminism”, in de Bakker and Leuwen [ed], Proceedings of the 7th International Colloquium on Automata, Languages, and Programming, Springer-Verlag Lecture Notes in Computer Science 85, 1980, pages 338–350.
John McCarthy, “A basis for a mathematical theory of computation”, in Computer Programming and Formal Systems, P Braffort and D Hirschberg [ed], North-Holland, Amsterdam, 1963, pages 33–70.
David Park, “On the semantics of fair parallelism”, University of Warwick Theory of Computation Report 31, October 1979.
G D Plotkin, “A powerdomain construction”, SIAM J Computing 5, 3, September 1976, pages 452–487.
Stephen A Ward, “Functional domains of applicative languages”, MIT Project MAC Technical Report 136, September 1974.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
Clinger, W., Halpern, C. (1985). Alternative semantics for McCarthy's amb. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds) Seminar on Concurrency. CONCURRENCY 1984. Lecture Notes in Computer Science, vol 197. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15670-4_22
Download citation
DOI: https://doi.org/10.1007/3-540-15670-4_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15670-3
Online ISBN: 978-3-540-39593-5
eBook Packages: Springer Book Archive