A Deterministic Operational Semantics for Functional Logic Programs

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver 0001, Germán Vidal. A Deterministic Operational Semantics for Functional Logic Programs. In Juan José Moreno-Navarro, Julio Mariño-Carballo, editors, AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002. pages 207, Facultad de Informática, Universidad Politécnica de Madrid, 2002. [doi]

Abstract

Abstract is missing.