Sciweavers

15 search results - page 1 / 3

» esop 2001

13

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Backwards Abstract Interpretation of Probabilistic Programs

13 years 9 months ago

Backwards Abstract Interpretation of Probabilistic Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

9

ESOP
2001
Springer

90views Programming Languages» more ESOP 2001»

On the Completeness of Model Checking

13 years 9 months ago

On the Completeness of Model Checking

Download www.math.unipd.it

Francesco Ranzato

claim paper

Read More »

9

ESOP
2001
Springer

104views Programming Languages» more ESOP 2001»

Tool Demonstration: Finding Duplicated Code Using Program Dependences

13 years 9 months ago

Tool Demonstration: Finding Duplicated Code Using Program Dependences

Download pages.cs.wisc.edu

Raghavan Komondoor, Susan Horwitz

claim paper

Read More »

10

ESOP
2001
Springer

94views Programming Languages» more ESOP 2001»

A Systematic Approach to Static Access Control

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

14

ESOP
2001
Springer

138views Programming Languages» more ESOP 2001»

Encoding Intensional Type Analysis

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