Sciweavers

1422 search results - page 18 / 285

» Complementation in Abstract Interpretation

147

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

15 years 11 months ago

Types as Abstract Interpretations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

192

SAS
1997
Springer

101views Formal Methods» more SAS 1997»

Abstract Interpretation Based Static Analysis Parameterized by Semantics

15 years 11 months ago

Abstract Interpretation Based Static Analysis Parameterized by Semantics

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

181

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

15 years 11 months ago

Binding-time Analysis: Abstract Interpretation versus Type Inference

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

149

Voted

ESEC
1993
Springer

105views Software Engineering» more ESEC 1993»

Assertion-based Debugging of Imperative Programs by Abstract Interpretation

15 years 11 months ago

Assertion-based Debugging of Imperative Programs by Abstract Interpretation

Download web.me.com

François Bourdoncle

claim paper

Read More »

181

Voted

HYBRID
1994
Springer

79views Control Systems» more HYBRID 1994»

A Note on Abstract Interpretation Strategies for Hybrid Automata

15 years 11 months ago

A Note on Abstract Interpretation Strategies for Hybrid Automata

Download mtc.epfl.ch

Thomas A. Henzinger, Pei-Hsin Ho

claim paper

Read More »

« Prev « First page 18 / 285 Last » Next »