Functional and Logic Programming

DOI10.1007/B96926zbMATH Open1122.68364OpenAlexW2506581943MaRDI QIDQ5308017FDOQ5308017

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

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)