Sciweavers

1189 search results - page 20 / 238

» The Quotient of an Abstract Interpretation

21

BIRTHDAY
2006
Springer

90views Applied Computing» more BIRTHDAY 2006»

Grammar Analysis and Parsing by Abstract Interpretation

14 years 1 months ago

Grammar Analysis and Parsing by Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

23

BIRTHDAY
2003
Springer

114views Applied Computing» more BIRTHDAY 2003»

Verification by Abstract Interpretation

14 years 1 months ago

Verification by Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

19

SAS
2000
Springer

105views Formal Methods» more SAS 2000»

Abstract Interpretation of Probabilistic Semantics

14 years 1 months ago

Abstract Interpretation of Probabilistic Semantics

Download www.csl.sri.com

David Monniaux

claim paper

Read More »

28

FPCA
1995

132views Programming Languages» more FPCA 1995»

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

14 years 1 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 »

21

TACS
1991
Springer

99views Software Engineering» more TACS 1991»

An Abstract Interpretation for ML Equality Kinds

14 years 1 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 »

« Prev « First page 20 / 238 Last » Next »