scientific article; zbMATH DE number 515736

MaRDI QIDQ4283239zbMATH OpenFDO

Authors Juan Carlos Gonzalez-Moreno, M. T. Hortalá González, M. Rodríguez Artalejo

Publication date 19 October 1994

zbMATH Keywords

operational semanticscompleteness of narrowinghigher-order functional logic language

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Higher-order narrowing with definitional trees
• Lazy narrowing with simplification
• Higher-order narrowing with definitional trees
• Uniform Lazy Narrowing
• An evaluation semantics for narrowing-based functional logic languages

Cited in

(4)

• Higher-order narrowing with convergent systems
• Decidable higher-order unification problems
• Higher-order narrowing with definitional trees
• Rewriting and Call-Time Choice: The HO Case

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 Q4283239)