Sciweavers

3342 search results - page 29 / 669

» Automating Abstract Interpretation

349

TAGT
1998
Springer

317views Graph Theory» more TAGT 1998»

A Fully Abstract Model for Graph-Interpreted Temporal Logic

15 years 10 months ago

A Fully Abstract Model for Graph-Interpreted Temporal Logic

Download www.cs.uni-paderborn.de

Fabio Gadducci, Reiko Heckel, Manuel Koch

claim paper

Read More »

125

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

15 years 10 months ago

Types as Abstract Interpretations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

153

Voted

SAS
1997
Springer

101views Formal Methods» more SAS 1997»

Abstract Interpretation Based Static Analysis Parameterized by Semantics

15 years 10 months ago

Abstract Interpretation Based Static Analysis Parameterized by Semantics

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

151

Voted

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

15 years 10 months ago

Binding-time Analysis: Abstract Interpretation versus Type Inference

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

123

Voted

ESEC
1993
Springer

105views Software Engineering» more ESEC 1993»

Assertion-based Debugging of Imperative Programs by Abstract Interpretation

15 years 10 months ago

Assertion-based Debugging of Imperative Programs by Abstract Interpretation

Download web.me.com

François Bourdoncle

claim paper

Read More »

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