Search Sciweavers | Sciweavers

2448 search results - page 7 / 490

» The Octahedron Abstract Domain

click to vote

PEPM
1993
ACM

95views Software Engineering» more PEPM 1993»

Improving Abstract Interpretations by Combining Domains

13 years 12 months ago

Download www.csse.monash.edu.au

Michael Codish, Anne Mulkers, Maurice Bruynooghe, ...

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

78views Applied Computing» more BIRTHDAY 2006»

Abstract Counterexample-Based Refinement for Powerset Domains

13 years 11 months ago

Download mtc.epfl.ch

Roman Manevich, John Field, Thomas A. Henzinger, G...

claim paper

Read More »

click to vote

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

A Systematic Construction of Abstract Domains

13 years 11 months ago

Download lirias.kuleuven.be

Dmitri Boulanger, Maurice Bruynooghe

claim paper

Read More »

click to vote

APLAS
2008
ACM

88views Programming Languages» more APLAS 2008»

A Sound Floating-Point Polyhedra Abstract Domain

13 years 10 months ago

Download www.di.ens.fr

Liqian Chen, Antoine Miné, Patrick Cousot

claim paper

Read More »

click to vote

ESOP
2008
Springer

96views Programming Languages» more ESOP 2008»

Non-disjunctive Numerical Domain for Array Predicate Abstraction

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers