Sciweavers

15 search results - page 1 / 3

» esop 2001

194

Voted

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Backwards Abstract Interpretation of Probabilistic Programs

15 years 11 months ago

Backwards Abstract Interpretation of Probabilistic Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

167

ESOP
2001
Springer

90views Programming Languages» more ESOP 2001»

On the Completeness of Model Checking

15 years 11 months ago

On the Completeness of Model Checking

Download www.math.unipd.it

Francesco Ranzato

claim paper

Read More »

152

Voted

ESOP
2001
Springer

104views Programming Languages» more ESOP 2001»

Tool Demonstration: Finding Duplicated Code Using Program Dependences

15 years 11 months ago

Tool Demonstration: Finding Duplicated Code Using Program Dependences

Download pages.cs.wisc.edu

Raghavan Komondoor, Susan Horwitz

claim paper

Read More »

134

ESOP
2001
Springer

94views Programming Languages» more ESOP 2001»

A Systematic Approach to Static Access Control

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

166

ESOP
2001
Springer

138views Programming Languages» more ESOP 2001»

Encoding Intensional Type Analysis

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