scientific article; zbMATH DE number 512892

MaRDI QIDQ4281598zbMATH OpenFDO

Authors Rita Loogen, F. J. López-Fraguas, M. Rodríguez Artalejo

Publication date 10 March 1994

zbMATH Keywords

conditional term rewriting systemsintegration of functional and logic programmingnarrowingPrologspecification

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2217823
• Evaluation strategies for functional logic programming
• Lazy narrowing with simplification
• A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees
• Evaluation strategies for functional logic programming

Cited in

(12)

• Evaluation strategies for functional logic programming
• Evaluation strategies for functional logic programming
• Reporting failures in functional logic programs
• Implementing dynamic-cut in \(\mathcal{T}OY\)
• Similarity-Based Equality with Lazy Evaluation
• Lazy narrowing with simplification
• Uniform Lazy Narrowing
• Functional Logic Programming: From Theory to Curry
• From Logic to Functional Logic Programs
• The narrowing-driven approach to functional logic program specialization
• Ensuring the quasi-termination of needed narrowing computations
• A new generic scheme for functional logic programming with constraints

Describes a project that uses

Uses Software

• BABEL
• Kernel-LEAF

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281598)