Search Sciweavers | Sciweavers

858 search results - page 1 / 172

» Abstract Interpretation Based Verification of Logic Programs

click to vote

ENTCS
2000

82views more ENTCS 2000»

Abstract Interpretation Based Verification of Logic Programs

13 years 4 months ago

Download www.di.unipi.it

Giorgio Levi

claim paper

Read More »

click to vote

TOPLAS
2008

138views more TOPLAS 2008»

Decomposing bytecode verification by abstract interpretation

13 years 4 months ago

Download www.iet.unipi.it

act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...

Cinzia Bernardeschi, Nicoletta De Francesco, Giuse...

claim paper

Read More »

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

13 years 8 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

click to vote

SIGSOFT
1996
ACM

145views Software Engineering» more SIGSOFT 1996»

Abstracting Dependencies between Software Configuration Items

13 years 8 months ago

Download seclab.uiuc.edu

ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...

Carl A. Gunter

claim paper

Read More »

click to vote

ICLP
1991
Springer

173views Automated Reasoning» more ICLP 1991»

Abstract Interpretation of Logic Programs

13 years 8 months ago

Download www.clip.dia.fi.upm.es

Interpretation of Logic Programs 1

Patrick Cousot

claim paper