Sciweavers

19 search results - page 1 / 4

» esop 2004

15

ESOP
2004
Springer

97views Programming Languages» more ESOP 2004»

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

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

15

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

13 years 10 months ago

Modal Proofs as Distributed Programs (Extended Abstract)

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper

Read More »

17

ESOP
2004
Springer

123views Programming Languages» more ESOP 2004»

Strong Preservation as Completeness in Abstract Interpretation

13 years 10 months ago

Strong Preservation as Completeness in Abstract Interpretation

Download www.math.unipd.it

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

9

ESOP
2004
Springer

114views Programming Languages» more ESOP 2004»

Just Fast Keying in the Pi Calculus

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

13

ESOP
2004
Springer

115views Programming Languages» more ESOP 2004»

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

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