scientific article; zbMATH DE number 1487851

MaRDI QIDQ4494375zbMATHFDO

Authors Patricia M. Hill, Fausto Spoto

Publication date 25 March 2001

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.
• scientific article; zbMATH DE number 1692904
• 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:

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