scientific article

zbMath0587.68003MaRDI QIDQ3713559

Didier Bert, Rachid Echahed

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

programming languagefunctional programminginterpreterHorn clause logicgeneric specificationgeneric data typesinstantiation mechanismLPG

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of software (68N01)

Related Items (12)

A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424. ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ Detecting isomorphisms of modular specifications with diagrams ⋮ A model inference system for generic specification with application to code sharing ⋮ On completeness of narrowing strategies ⋮ A rewrite-based type discipline for a subset of computer algebra ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Narrowing based procedures for equational disunification ⋮ Termination of narrowing via termination of rewriting ⋮ 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.

This page was built for publication: