Search Sciweavers | Sciweavers

1689 search results - page 16 / 338

» Refining abstract interpretations

click to vote

AGP
1994
IEEE

201views Artificial Intelligence» more AGP 1994»

An Abstract Interpretation Framework for (almost) Full Prolog

14 years 2 months ago

Download www.dsi.unive.it

act Interpretation Framework for (almost) Full Prolog1 B. Le Charlier S. Rossi P. Van Hentenryck University of Namur University of Padova Brown University 21 rue Grandgagnage 7 via...

Baudouin Le Charlier, Sabina Rossi, Pascal Van Hen...

claim paper

Read More »

click to vote

PEPM
1995
ACM

136views Software Engineering» more PEPM 1995»

Abstract Interpretation and Low-Level Code Optimization

14 years 2 months ago

Download www.cs.arizona.edu

Interpretation and Low-Level Code Optimization Saumya Debray Department of Computer Science University of Arizona Tucson, AZ 85715 Abstract interpretation is widely accepted as a ...

Saumya K. Debray

claim paper

Read More »

click to vote

ENTCS
2010

98views more ENTCS 2010»

Static Analysis by Abstract Interpretation: A Mathematical Programming Approach

13 years 8 months ago

Download www.lix.polytechnique.fr

nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St

Eric Goubault, Stéphane Le Roux, Jeremy Lec...

claim paper

Read More »

click to vote

APN
2005
Springer

111views Artificial Intelligence» more APN 2005»

Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation

14 years 4 months ago

Download www.lsi.upc.edu

stract Interpretation Robert Claris´o, Enric Rodr´ıguez-Carbonell, and Jordi Cortadella Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract interpretation is a para...

Robert Clarisó, Enric Rodríguez-Carb...

claim paper

Read More »

click to vote

MEMICS
2010

148views Theoretical Computer Science» more MEMICS 2010»

Test-Case Generation for Embedded Binary Code Using Abstract Interpretation

13 years 5 months ago