Alternative semantics for McCarthy's amb
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 467-478
- https://doi.org/10.1007/3-540-15670-4_22
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Nondeterministic call by need is neither lazy nor by namePublished by Association for Computing Machinery (ACM) ,1982
- Toward an algebra of nondeterministic programsPublished by Association for Computing Machinery (ACM) ,1982
- A Fixed Point Approach to Applicative MultiprogrammingPublished by Springer Nature ,1982
- A theory of nondeterminismPublished by Springer Nature ,1980
- Parameter-passing mechanisms and nondeterminismPublished by Association for Computing Machinery (ACM) ,1977
- A Powerdomain ConstructionSIAM Journal on Computing, 1976