A flexible framework for programming with non-deterministicfunctions

Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. A flexible framework for programming with non-deterministicfunctions. In Germán Puebla, Germán Vidal, editors, Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009. pages 91-100, ACM, 2009. [doi]

Abstract

Abstract is missing.