scientific article; zbMATH DE number 1487851

zbMATH Open0957.68058MaRDI QIDQ4494375FDOQ4494375

Authors: Patricia M. Hill, Fausto Spoto 

Publication date: 25 March 2001

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

linear refinement

Mathematics Subject Classification ID

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

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)