Sciweavers

15 search results - page 1 / 3

» esop 2001

141

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Backwards Abstract Interpretation of Probabilistic Programs

15 years 8 months ago

Backwards Abstract Interpretation of Probabilistic Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

127

Voted

ESOP
2001
Springer

90views Programming Languages» more ESOP 2001»

On the Completeness of Model Checking

15 years 8 months ago

On the Completeness of Model Checking

Download www.math.unipd.it

Francesco Ranzato

claim paper

Read More »

106

ESOP
2001
Springer

104views Programming Languages» more ESOP 2001»

Tool Demonstration: Finding Duplicated Code Using Program Dependences

15 years 8 months ago

Tool Demonstration: Finding Duplicated Code Using Program Dependences

Download pages.cs.wisc.edu

Raghavan Komondoor, Susan Horwitz

claim paper

Read More »

94

ESOP
2001
Springer

94views Programming Languages» more ESOP 2001»

A Systematic Approach to Static Access Control

15 years 8 months ago

A Systematic Approach to Static Access Control

Download www.cs.uvm.edu

François Pottier, Christian Skalka, Scott F...

claim paper

Read More »

132

Voted

ESOP
2001
Springer

138views Programming Languages» more ESOP 2001»

Encoding Intensional Type Analysis

15 years 8 months ago

Encoding Intensional Type Analysis

Download www.cs.cornell.edu

Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...

Stephanie Weirich

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »