Search Sciweavers | Sciweavers

3342 search results - page 28 / 669

» Automating Abstract Interpretation

click to vote

POPL
2000
ACM

116views Programming Languages» more POPL 2000»

Temporal Abstract Interpretation

14 years 2 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

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

14 years 2 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

click to vote

PEPM
1999
ACM

96views Software Engineering» more PEPM 1999»

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework

14 years 2 months ago

Download www.cs.bris.ac.uk

Germán Puebla, Manuel V. Hermenegildo, John...

claim paper

Read More »

click to vote

SAS
1999
Springer

107views Formal Methods» more SAS 1999»

Abstract Interpretation of Mobile Ambients

14 years 2 months ago

Download www-i2.informatik.rwth-aachen.de

René Rydhof Hansen, Jacob Grydholt Jensen, ...

claim paper

Read More »

click to vote

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers