Uniform Lazy Narrowing

DOI10.1093/LOGCOM/13.2.287MaRDI QIDQ4461934zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Pascual Julián, Germán Vidal, María Alpuente, M. Falaschi

Publication date 18 May 2004

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/13.2.287

zbMATH Keywords

functional logic programming

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• Lazy narrowing with simplification
• Uniform dilations
• Lazy strong normalization
• scientific article; zbMATH DE number 512892
• Lazy linear combinatorial unification
• scientific article; zbMATH DE number 512891
• Basic narrowing revisited
• An implementation of narrowing
• Lazy narrowing in a graph machine
• Nominal narrowing

Cited in

(11)

• Rules + strategies for transforming lazy functional logic programs
• scientific article; zbMATH DE number 1696592 (Why is no real title available?)
• Formal properties of needed narrowing with similarity relations
• A needed narrowing strategy
• scientific article; zbMATH DE number 512891 (Why is no real title available?)
• scientific article; zbMATH DE number 515736 (Why is no real title available?)
• Lazy narrowing with simplification
• scientific article; zbMATH DE number 826303 (Why is no real title available?)
• Rewriting and narrowing for constructor systems with call-time choice semantics
• An integrated framework for the diagnosis and correction of rule-based programs
• Programming with narrowing: a tutorial

This page was built for publication: Uniform Lazy Narrowing

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