A Theory of Nondeterminism

Authors:
Richard Kennaway;C. A. R. Hoare
Affiliations:
-;-
Venue:
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Year:
1980

Citing 0
Cited 4

Acceptance trees

Journal of the ACM (JACM)
Algebraic approaches to nondeterminism—an overview

ACM Computing Surveys (CSUR)
Nondeterministic call by need is neither lazy nor by name

LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
The concept of nondeterminism: its development and implications for teaching

ACM SIGCSE Bulletin

Quantified Score

Hi-index	0.00

Visualization

Abstract