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

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

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

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

Abstract interpretation frameworks
by Patrick Cousot, Radhia Cousot — 1992 — Journal of Logic and Computation
…Abstract Interpretation Frameworks Patrick Cousot LIENS, École Normale Supérieure 45, rue d…
Cited by 176 (15 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

L.: A complete abstract interpretation framework for coverability properties of WSTS
by Pierre Ganty, Jean-françois Raskin, Laurent Van Begin — 2006 — In: Proc. of Verification, Model Checking and Abstract Interpretation (VMCAI). Volume 3855 of LNCS., Springer-Verlag (2006) 49–64
…�ÛÛÛÙÐ��××��Ú A Complete Abstract Interpretation Framework for Coverability Properties of WSTS ⋆ Pierre Ganty 1…
Cited by 4 (2 self) – Add To MetaCart

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

A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs
by Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi — 1993 — ACM Transactions on Programming Languages and Systems
…A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs…
Cited by 69 (26 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 for Constraint Handling Rules
by Tom Schrijvers — 2005 — In Proceedings of the 7th Intl. Conference on Principles and Practice of Declarative Programming (PPDP’05
… interpretation to CHRs: we formulate an abstract interpretation framework over the call-based operational…
Cited by 15 (11 self) – Add To MetaCart

Fran¸cois Masdupuy
by Pour Obtenir, Analyse S, Des Indices, De Tableaux, Soutenue Le D'ecembre, Chris Hankin
…. More specifically, the abstract interpretation is used to design on the one hand a set of properties…
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

Can you Trust your Data?
by Peter Ørbæk, Peter Rbk, Peter Rbk — 1995 — in Proc. TAPSOFT/FASE'95
… are based on an abstract interpretation framework and a constraint generation framework respectively…
Cited by 5 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

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