Lazy narrowing with simplification

DOI10.1016/S0096-0551(97)00010-6MaRDI QIDQ4395684zbMATH OpenOpenAlexFDO

Authors Michael Hanus

Publication date 1 November 1998

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0096-0551(97)00010-6

zbMATH Keywords

functional logic languagesoperational semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Recommendations

• Uniform Lazy Narrowing
• Lazy narrowing: strong completeness and eager variable elimination
• scientific article; zbMATH DE number 512891
• Simplifying reductions
• scientific article; zbMATH DE number 512892
• Reducing the complexity of reductions
• scientific article; zbMATH DE number 1559593
• scientific article; zbMATH DE number 1692899
• Kleene getting lazy
• scientific article; zbMATH DE number 1696603

Cited in

(20)

• Evaluation strategies for functional logic programming
• An evaluation semantics for narrowing-based functional logic languages
• scientific article; zbMATH DE number 1696589 (Why is no real title available?)
• scientific article; zbMATH DE number 1696592 (Why is no real title available?)
• scientific article; zbMATH DE number 1696605 (Why is no real title available?)
• Evaluation strategies for functional logic programming
• Reduction strategies for declarative programming
• A needed narrowing strategy
• scientific article; zbMATH DE number 512891 (Why is no real title available?)
• scientific article; zbMATH DE number 512892 (Why is no real title available?)
• scientific article; zbMATH DE number 515736 (Why is no real title available?)
• Uniform Lazy Narrowing
• scientific article; zbMATH DE number 1502127 (Why is no real title available?)
• scientific article; zbMATH DE number 1822269 (Why is no real title available?)
• scientific article; zbMATH DE number 826303 (Why is no real title available?)
• Solving equations by graph transformation
• scientific article; zbMATH DE number 1407673 (Why is no real title available?)
• Lazy narrowing in a graph machine
• Variant narrowing and equational unification
• Kleene getting lazy

This page was built for publication: Lazy narrowing with simplification

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