scientific article
From MaRDI portal
Publication:2763637
zbMath0977.68510MaRDI QIDQ2763637
Francisco J. López Fraguas, Mario Rodríguez Artalejo, Rafael Caballero
Publication date: 21 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2024/20240170
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
An integrated framework for the diagnosis and correction of rule-based programs ⋮ A new generic scheme for functional logic programming with constraints ⋮ Abstract Diagnosis of First Order Functional Logic Programs ⋮ Declarative Debugging Meets the World ⋮ A Logical Framework for Debugging in Declarative Constraint Programming ⋮ Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424. ⋮ A Declarative Debugging System for Lazy Functional Logic Programs ⋮ Structure and Properties of Traces for Functional Programs
This page was built for publication:
