1 Hit in 1.0 sec

A flexible framework for programming with non-deterministicfunctions

Francisco J. Lopez-Fraguas, Juan Rodriguez-Hortala, Jaime Sanchez-Hernandez
2008 Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09  
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