Search Sciweavers | Sciweavers

4211 search results - page 28 / 843

» Types as Abstract Interpretations

click to vote

PLILP
1992
Springer

125views Programming Languages» more PLILP 1992»

Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation

15 years 3 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

click to vote

AMAST
2006
Springer

115views Software Engineering» more AMAST 2006»

Opaque Predicates Detection by Abstract Interpretation

15 years 3 months ago

Download profs.sci.univr.it

Mila Dalla Preda, Matias Madou, Koen De Bosschere,...

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

90views Applied Computing» more BIRTHDAY 2006»

Grammar Analysis and Parsing by Abstract Interpretation

15 years 3 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

click to vote

BIRTHDAY
2003
Springer

114views Applied Computing» more BIRTHDAY 2003»

Verification by Abstract Interpretation

15 years 3 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

click to vote

SAS
2000
Springer

105views Formal Methods» more SAS 2000»

Abstract Interpretation of Probabilistic Semantics

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers