Sciweavers

3342 search results - page 31 / 669

» Automating Abstract Interpretation

20

SAS
2000
Springer

105views Formal Methods» more SAS 2000»

Abstract Interpretation of Probabilistic Semantics

14 years 2 months ago

Abstract Interpretation of Probabilistic Semantics

Download www.csl.sri.com

David Monniaux

claim paper

Read More »

31

FPCA
1995

132views Programming Languages» more FPCA 1995»

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

14 years 2 months ago

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

26

TACS
1991
Springer

99views Software Engineering» more TACS 1991»

An Abstract Interpretation for ML Equality Kinds

14 years 2 months ago

An Abstract Interpretation for ML Equality Kinds

Download www.ircs.upenn.edu

Carl A. Gunter, Elsa L. Gunter, David B. MacQueen

claim paper

Read More »

26

CAV
2008
Springer

110views Hardware» more CAV 2008»

Abstract Interpretation with Applications to Timing Validation

14 years 1 months ago

Abstract Interpretation with Applications to Timing Validation

Download rw4.cs.uni-sb.de

Reinhard Wilhelm, Björn Wachter

claim paper

Read More »

22

ESOP
2008
Springer

95views Programming Languages» more ESOP 2008»

Certificate Translation in Abstract Interpretation

14 years 28 days ago

Certificate Translation in Abstract Interpretation

Download software.imdea.org

Gilles Barthe, César Kunz

claim paper

Read More »

« Prev « First page 31 / 669 Last » Next »