Search Sciweavers | Sciweavers

2448 search results - page 7 / 490

» The Octahedron Abstract Domain

126

click to vote

PEPM
1993
ACM

95views Software Engineering» more PEPM 1993»

Improving Abstract Interpretations by Combining Domains

15 years 10 months ago

Download www.csse.monash.edu.au

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

claim paper

Read More »

119

click to vote

BIRTHDAY
2006
Springer

78views Applied Computing» more BIRTHDAY 2006»

Abstract Counterexample-Based Refinement for Powerset Domains

15 years 9 months ago

Download mtc.epfl.ch

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

claim paper

Read More »

125

click to vote

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

A Systematic Construction of Abstract Domains

15 years 9 months ago

Download lirias.kuleuven.be

Dmitri Boulanger, Maurice Bruynooghe

claim paper

Read More »

103

click to vote

APLAS
2008
ACM

88views Programming Languages» more APLAS 2008»

A Sound Floating-Point Polyhedra Abstract Domain

15 years 8 months ago

Download www.di.ens.fr

Liqian Chen, Antoine Miné, Patrick Cousot

claim paper

Read More »

129

click to vote

ESOP
2008
Springer

96views Programming Languages» more ESOP 2008»

Non-disjunctive Numerical Domain for Array Predicate Abstraction

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers