Sciweavers

19 search results - page 1 / 4

» esop 2004

111

ESOP
2004
Springer

97views Programming Languages» more ESOP 2004»

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

15 years 8 months ago

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

103

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

15 years 8 months ago

Modal Proofs as Distributed Programs (Extended Abstract)

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper

Read More »

107

ESOP
2004
Springer

123views Programming Languages» more ESOP 2004»

Strong Preservation as Completeness in Abstract Interpretation

15 years 8 months ago

Strong Preservation as Completeness in Abstract Interpretation

Download www.math.unipd.it

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

87

ESOP
2004
Springer

114views Programming Languages» more ESOP 2004»

Just Fast Keying in the Pi Calculus

15 years 8 months ago

Just Fast Keying in the Pi Calculus

Download www.di.ens.fr

Martín Abadi, Bruno Blanchet, Cédric...

claim paper

Read More »

93

ESOP
2004
Springer

115views Programming Languages» more ESOP 2004»

Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types

15 years 8 months ago

Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types

Download www.macs.hw.ac.uk

Tom Hirschowitz, Xavier Leroy, J. B. Wells

claim paper

Read More »

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