Sciweavers

2203 search results - page 19 / 441

» Temporal Abstract Interpretation

35

SAS
1999
Springer

107views Formal Methods» more SAS 1999»

Abstract Interpretation of Mobile Ambients

14 years 1 months ago

Abstract Interpretation of Mobile Ambients

Download www-i2.informatik.rwth-aachen.de

René Rydhof Hansen, Jacob Grydholt Jensen, ...

claim paper

Read More »

24

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

14 years 1 months ago

Program Analysis as Model Checking of Abstract Interpretations

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

23

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

14 years 1 months ago

Types as Abstract Interpretations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

35

SAS
1997
Springer

101views Formal Methods» more SAS 1997»

Abstract Interpretation Based Static Analysis Parameterized by Semantics

14 years 1 months ago

Abstract Interpretation Based Static Analysis Parameterized by Semantics

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

30

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

14 years 1 months ago

Binding-time Analysis: Abstract Interpretation versus Type Inference

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

« Prev « First page 19 / 441 Last » Next »