Search Sciweavers | Sciweavers

1189 search results - page 21 / 238

» The Quotient of an Abstract Interpretation

click to vote

CAV
2008
Springer

110views Hardware» more CAV 2008»

Abstract Interpretation with Applications to Timing Validation

13 years 12 months ago

Download rw4.cs.uni-sb.de

Reinhard Wilhelm, Björn Wachter

claim paper

Read More »

click to vote

ESOP
2008
Springer

95views Programming Languages» more ESOP 2008»

Certificate Translation in Abstract Interpretation

13 years 11 months ago

Download software.imdea.org

Gilles Barthe, César Kunz

claim paper

Read More »

click to vote

FMCO
2008
Springer

120views Formal Methods» more FMCO 2008»

Abstract Interpretation of Symbolic Execution with Explicit State Updates

13 years 11 months ago

Download www.cse.chalmers.se

Richard Bubel, Reiner Hähnle, Benjamin Wei&sz...

claim paper

Read More »

click to vote

FORTE
2010

139views Formal Methods» more FORTE 2010»

Static Type Analysis of Pattern Matching by Abstract Interpretation

13 years 11 months ago

Download people.inf.ethz.ch

Pietro Ferrara

claim paper

Read More »

click to vote

DAGSTUHL
2006

143views Software Engineering» more DAGSTUHL 2006»

Abstract Interpretation of Graph Transformation

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers