scientific article; zbMATH DE number 512891

zbMATH Open0789.68018MaRDI QIDQ4281597FDOQ4281597

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

Publication date: 13 June 1994

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

operational semanticslazy narrowingfunctional logic programming languagesBabel

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (3)

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

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)