Sciweavers

1422 search results - page 18 / 285

» Complementation in Abstract Interpretation

108

Voted

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

15 years 9 months ago

Types as Abstract Interpretations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

135

Voted

SAS
1997
Springer

101views Formal Methods» more SAS 1997»

Abstract Interpretation Based Static Analysis Parameterized by Semantics

15 years 9 months ago

Abstract Interpretation Based Static Analysis Parameterized by Semantics

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

132

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

15 years 9 months ago

Binding-time Analysis: Abstract Interpretation versus Type Inference

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

106

ESEC
1993
Springer

105views Software Engineering» more ESEC 1993»

Assertion-based Debugging of Imperative Programs by Abstract Interpretation

15 years 9 months ago

Assertion-based Debugging of Imperative Programs by Abstract Interpretation

Download web.me.com

François Bourdoncle

claim paper

Read More »

126

Voted

HYBRID
1994
Springer

79views Control Systems» more HYBRID 1994»

A Note on Abstract Interpretation Strategies for Hybrid Automata

15 years 9 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 »