Search Sciweavers | Sciweavers

4814 search results - page 19 / 963

» Combining abstract interpreters

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

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

click to vote

TAGT
1998
Springer

317views Graph Theory» more TAGT 1998»

A Fully Abstract Model for Graph-Interpreted Temporal Logic

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers