Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics

Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. In Dietmar Seipel, Michael Hanus, Armin Wolf, editors, Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers. Volume 5437 of Lecture Notes in Computer Science, pages 206-222, Springer, 2007. [doi]

Abstract

Abstract is missing.