MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On the precision of abstract interpretations." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

32 documents found, showing 1 through 10. Next 10 →

ATOM

Measuring the precision of abstract interpretations
by Alessandra Di Pierro, Herbert Wiklicky — 2001 — In Proceedings of LOPSTR'00 - 10th International Workshop on Logic-Based Program Synthesis and Transformation
… Measuring the Precision of Abstract Interpretations Alessandra Di Pierro 1 and Herbert…
Cited by 17 (9 self) – Add To MetaCart

Operational and Goal-Independent Denotational Semantics for Prolog with Cut
by Fausto Spoto — Journal of Logic Programming
…. Our work provides a basis for a precise abstract interpretation of Prolog programs. Key words: Prolog…
Cited by 6 (0 self) – Add To MetaCart

"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics
by Roberto Giacobazzi
… and abstract models providing a "logical" interpretation of the typical loss of precision of abstract…
Cited by 22 (11 self) – Add To MetaCart

Transforming abstract interpretations by abstract interpretation: New challenges in language
by Roberto Giacobazzi, Isabella Mastroeni — Invited paper in the 5th International Static Analysis Symposium (SAS ’08), volume 5079 of Lecture
… non-interference [13] is an example of this use of abstract interpretation, capturing precisely…
Cited by 2 (2 self) – Add To MetaCart

Symbolic Implementation of the Best Transformer
by Thomas Reps, Mooly Sagiv, Greta Yorsh — 2004
… conditions, abstract-interpretation algorithms that enjoy the best possible precision for a given abstraction…
Cited by 13 (8 self) – Add To MetaCart

Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation
by Alessandra Di Pierro, Herbert Wiklicky — 2000 — Proc. of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98, Lecture Notes in Computer Science
… of \precision" for abstract interpretations. Every norm on a vector space denes a topology on the vector space…
Cited by 15 (7 self) – Add To MetaCart

Counterexample driven refinement for abstract interpretation
by Bhargav S. Gulavani, Sriram K. Rajamani — 2006 — In TACAS 06: Tools and Algorithms for Construction and Analysis of Systems, LNCS 3920
… in abstract interpretations. Our technique keeps track of the precision losses during forward fixpoint…
Cited by 20 (3 self) – Add To MetaCart

Refining Abstract Interpretation-based Static Analyses with Hints
by Vincent Laviron, Francesco Logozzo
…; } (c) Fig. 1. Examples of orthogonal losses of precision in abstract interpretations: (a) a convex…
Add To MetaCart

Refining and compressing abstract domains
by Roberto Giacobazzi, Francesco Ranzato — 1997 — In Proc. 24th ICALP, LNCS 1256
… that abstract domains play a fundamental r^ole in abstract interpretation [5, 6], since the precision…
Cited by 18 (9 self) – Add To MetaCart

Interprocedurally analyzing polynomial identities
by Markus Müller-olm, Michael Petter, Helmut Seidl — 2006 — In Proc. of STACS 2006
…, 13, 17] which we take up here is to construct a precise abstract interpretation of a constraint…
Cited by 6 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB