A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is
The result is a flexible framework into which existing languages using pure run-time or call-time choice can be embedded, either directly -in the case of run-time choice-or by means of a simple program ... In this paper we propose to annotate functions in a program with the semantics most adequate to its intended use. ... Final summary and discussion We have proposed a new formal framework for (first order) programming with non-deterministic functions. ...doi:10.1145/1480945.1480959 dblp:conf/pepm/Lopez-FraguasRS09 fatcat:qt7oqlxi4zg7daa6qlt64leu2m