scientific article; zbMATH DE number 1222408

zbMath0911.68036MaRDI QIDQ4217931

Pascual Julián, Germán Vidal, Elvira Albert, Moreno Falaschi, María Alpuente

Publication date: 2 March 1999

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

zbMATH Keywords

functional logic programsconjunctive partial deductionnarrowing-driven partial evaluation

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (6)

Optimization of rewrite theories by equational partial evaluation ⋮ Symbolic Specialization of Rewriting Logic Theories with Presto ⋮ Programming with narrowing: a tutorial ⋮ The narrowing-driven approach to functional logic program specialization ⋮ A partial evaluation framework for order-sorted equational programs modulo axioms ⋮ An improved reductant calculus using fuzzy partial evaluation techniques

Uses Software

• BABEL
• Curry

This page was built for publication: