Sciweavers

27119 search results - page 54 / 5424

» Languages

57

ECOOP
2004
Springer

76views Programming Languages» more ECOOP 2004»

Negligent Class Loaders for Software Evolution

15 years 3 months ago

Negligent Class Loaders for Software Evolution

Download www.csg.is.titech.ac.jp

Yoshiki Sato, Shigeru Chiba

claim paper

Read More »

57

ESOP
2004
Springer

114views Programming Languages» more ESOP 2004»

Just Fast Keying in the Pi Calculus

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

80

ESOP
2004
Springer

97views Programming Languages» more ESOP 2004»

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

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

75

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

15 years 3 months ago

Modal Proofs as Distributed Programs (Extended Abstract)

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper

Read More »

74

ESOP
2004
Springer

123views Programming Languages» more ESOP 2004»

Strong Preservation as Completeness in Abstract Interpretation

15 years 3 months ago

Strong Preservation as Completeness in Abstract Interpretation

Download www.math.unipd.it

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

« Prev « First page 54 / 5424 Last » Next »