Freeness analysis through linear refinement

DOI10.1007/3-540-48294-6_6MaRDI QIDQ4494375zbMATH OpenFDO

Authors Patricia M. Hill, Fausto Spoto

Publication date 25 March 2001

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

Full work available at URL https://doi.org/10.1007/3-540-48294-6_6

zbMATH Keywords

linear refinement

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Pair-independence and freeness analysis through linear refinement.
• Abstract compilation for sharing analysis
• Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra
• Optimality and condensing of information flow through linear refinement
• Theoretical Aspects of Computing – ICTAC 2005

Cited in

(1)

• Pair-independence and freeness analysis through linear refinement.

This page was built for publication: Freeness analysis through linear refinement

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