MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Making abstract interpretations complete." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Adjoining declassification and attack models by abstract interpretation
by Roberto Giacobazzi, Isabella Mastroeni — 2005 — In Proc. European Symp. on Programming, volume 3444 of LNCS
… to making abstract interpretation complete (see [17]) relatively to the denotational semantics of programs…
Cited by 14 (7 self) – Add To MetaCart

On the Completeness of Model Checking
by Francesco Ranzato — 2001 — Proc. 10 th ESOP ' 2001 , Genova, IT, 2--6 Apr. 2001, LNCS 2028
… is complete for fg. Hence, for a set F , (C; F ) = \ f2F (C; f ). Making Abstract Interpretations Complete…
Cited by 7 (3 self) – Add To MetaCart

States vs. traces in model checking by abstract interpretation
by Roberto Giacobazzi, Francesco Ranzato — 2002 — In Static Analysis (SAS ’02), 9th International Symposium
… and therefore opens the relevant question of making an abstract interpretation complete by minimally extending…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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