Search for Author All Reviews
	Hesselink, Wim     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Interpretations of recursion under unbounded nondeterminacy Hesselink W. Theoretical Computer Science 59(3): 211-234, 1988.  Type: Article Hesselink presents a configuration model that is sufficiently powerful to deduce denotational characterizations of the semantics of recursion under unbounded nondeterminacy. He defines the operationally justified interpretations as a c...... May 1 1989     A mathematical approach to nondeterminism in data types Hesselink W. ACM Transactions on Programming Languages and Systems 10(1): 87-117, 1988.  Type: Article Nondeterminism has been useful as a high-level expression of parallelism, as in pure logic programming, and in control structures that avoid explicit choices between different but acceptable alternatives, as in Dijkstra’s ...... Sep 1 1988
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy