Functional and Logic Programming

DOI10.1007/B96926MaRDI QIDQ5308017zbMATH OpenOpenAlexFDO

Authors F. Bueno, Maria Garcia De La Banda

Publication date 25 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b96926

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Set-sharing is redundant for pair-sharing
• Shared structure need not be shared set-structure
• scientific article; zbMATH DE number 1487850
• Decomposing non-redundant sharing by complementation
• scientific article; zbMATH DE number 1222415
• Soundness, idempotence and commutativity of set-sharing
• Lazy Set-Sharing Analysis
• Further investigations on two shared set problems under deficient values
• scientific article; zbMATH DE number 5054029

Cited in

(6)

• A first-order language for expressing sharing and type properties of logic programs
• Enhanced sharing analysis techniques: a comprehensive evaluation
• Parallel Logic Programming: A Sequel
• Static Analysis
• Set-sharing is redundant for pair-sharing
• Negative Ternary Set-Sharing

This page was built for publication: Functional and Logic Programming

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