Searching for "Frameworks for Abstract Interpretation." – sorted by Relevance.

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

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

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

Systematic Design of Program Transformation Frameworks by Abstract Interpretation
by Patrick Cousot, Radhia Cousot — 2002 — In Conference Record of the Twentyninth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
…Systematic Design of Program Transformation Frameworks by Abstract Interpretation Patrick Cousot…
Cited by 37 (3 self) – Add To MetaCart

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework
by Manuel Hermenegildo, John P. Gallagher — 1999 — University of Aarhus
…An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework Germ'an Puebla…
Cited by 9 (7 self) – Add To MetaCart

Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract
by G. Puebla, John Gallagher, Manuel Hermenegildo — 1997 — Proceedings of the ILPS’97 Workshop on Specialisation of Declarative Programs and its Application, K.U. Leuven, Tech. Rep. CW 255
…/specialization framework based on abstract interpretation. In addition, the fact that such a framework can work uniformly…
Cited by 12 (1 self) – Add To MetaCart

S.: Logical interpretation: Static program analysis using theorem proving
by Ashish Tiwari, Sumit Gulwani — 2007 — In: CADE-21. Volume 4603 of LNAI., Springer-Verlag
… of lattices defined on logical formulas in a logical theory – in an abstract interpretation framework…
Cited by 2 (0 self) – Add To MetaCart

Abstract interpretation of probabilistic semantics
by David Monniaux — 2000 — In Seventh International Static Analysis Symposium (SAS’00), number 1824 in Lecture Notes in Computer Science
…Abstract interpretation of probabilistic semantics David Monniaux http…
Cited by 19 (5 self) – Add To MetaCart

Strictness analysis for attribute grammars
by Mads Rosendahl — 1992 — In PLILP'92, volume 631 of LNCS
…. From this observation we establish a framework for abstract interpretation of attribute grammars…
Cited by 3 (1 self) – Add To MetaCart

Type Analysis and Type-test Elimination in Oberon-2
by Jens Knoop And, Jens Knoop, Falk Schreiber
… and Golubski demonstrated how to extend the abstract interpretation framework to untyped object…
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
… and Radhia Cousot [9]. According to the classical framework an abstract interpretation is obtained…
Cited by 15 (7 self) – Add To MetaCart

QAPL 2008 Relational Analysis and Precision via Probabilistic Abstract Interpretation
by Alessandra Di, Pierro Pascal, Sotin Herbert Wiklicky
… generalisation of the well established framework of Abstract Interpretation – i.e. Probabilistic Abstract…
Add To MetaCart

Abstract Interpretation based Verification of Logic Programs
by Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe — 2000 — Science of Computer Programming
…. The framework of abstract interpretation can be useful to study hierarchies of semantics and to reconstruct data…
Cited by 11 (5 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB