scientific article; zbMATH DE number 512891

MaRDI QIDQ4281597zbMATH OpenFDO

Authors Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño Carballo, Stephan M. Winkler, Werner Hans

Publication date 13 June 1994

zbMATH Keywords

operational semanticslazy narrowingfunctional logic programming languagesBabel

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Improving lazy non-deterministic computations by demand analysis
• Lazy narrowing with simplification
• Uniform Lazy Narrowing
• scientific article; zbMATH DE number 1696605
• Evaluation strategies for functional logic programming

Cited in

(3)

• Lazy narrowing with simplification
• Uniform Lazy Narrowing
• Improving lazy non-deterministic computations by demand analysis

Describes a project that uses

Uses Software

• BABEL

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