Search Sciweavers | Sciweavers

1189 search results - page 5 / 238

» The Quotient of an Abstract Interpretation

click to vote

AGP
1994
IEEE

201views Artificial Intelligence» more AGP 1994»

An Abstract Interpretation Framework for (almost) Full Prolog

13 years 11 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

13 years 11 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 4 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 1 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 2 months ago