Search Sciweavers | Sciweavers

1189 search results - page 12 / 238

» The Quotient of an Abstract Interpretation

click to vote

ESOP
2010
Springer

169views Programming Languages» more ESOP 2010»

Propositional Interpolation and Abstract Interpretation

14 years 4 months ago

Download www.comlab.ox.ac.uk

Vijay D'Silva

claim paper

Read More »

click to vote

APSEC
2009
IEEE

126views Software Engineering» more APSEC 2009»

Test Coverage Metric for Two-Staged Language with Abstract Interpretation

14 years 4 months ago

Download rosaec.snu.ac.kr

Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik,...

claim paper

Read More »

click to vote

CGO
2009
IEEE

117views Software Engineering» more CGO 2009»

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

14 years 4 months ago

Download ls12-www.cs.tu-dortmund.de

Daniel Cordes, Heiko Falk, Peter Marwedel

claim paper

Read More »

click to vote

ICFP
2009
ACM

140views Programming Languages» more ICFP 2009»

Control-flow analysis of function calls and returns by abstract interpretation

14 years 4 months ago

Download www.irisa.fr

Jan Midtgaard, Thomas P. Jensen

claim paper

Read More »

click to vote

WOLLIC
2009
Springer

140views Artificial Intelligence» more WOLLIC 2009»

Observational Completeness on Abstract Interpretation

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers