Negative Ternary Set-Sharing

DOI10.1007/978-3-540-89982-2_30MaRDI QIDQ5504663zbMATH OpenOpenAlexFDO

Authors E. Trías, Jorge Navas, Elena S. Ackley, Stephanie Forrest, Manuel Hermenegildo

Publication date 22 January 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL http://oa.upm.es/14307/

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Set-sharing is redundant for pair-sharing
• An algebraic approach to sharing analysis of logic programs
• Lazy Set-Sharing Analysis
• Functional and Logic Programming
• On the interaction between sharing and linearity

Cites work

• A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
• An algebraic approach to sharing analysis of logic programs
• Collapsing Closures
• Compile-time derivation of variable dependency using abstract interpretation
• Finite-tree analysis for constraint logic-based languages
• Functional and Logic Programming
• scientific article; zbMATH DE number 3978439 (Why is no real title available?)
• scientific article; zbMATH DE number 1487849 (Why is no real title available?)
• Lazy Set-Sharing Analysis
• Negative Ternary Set-Sharing
• On the design of a correct freeness analysis for logic programs
• Precise Set Sharing Analysis for Java-Style Programs
• Static analysis of logic programs for independent and parallelism
• Two classes of Boolean functions for dependency analysis

Cited in

(4)

• Representation sharing for Prolog
• Collapsing Closures
• Negative Ternary Set-Sharing
• Parallel Logic Programming: A Sequel

This page was built for publication: Negative Ternary Set-Sharing

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