Sciweavers

10585 search results - page 48 / 2117

» The Orc Programming Language

94

Voted

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 »

116

Voted

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 »

110

Voted

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 »

102

Voted

PLDI
2003
ACM

104views Programming Languages» more PLDI 2003»

CSSV: towards a realistic tool for statically detecting all buffer overflows in C

15 years 8 months ago

CSSV: towards a realistic tool for statically detecting all buffer overflows in C

Download www.cs.tau.ac.il

Nurit Dor, Michael Rodeh, Shmuel Sagiv

claim paper

Read More »

91

Voted

ECOOP
2003
Springer

83views Programming Languages» more ECOOP 2003»

External Uniqueness Is Unique Enough

15 years 8 months ago

External Uniqueness Is Unique Enough

Download www.cs.uu.nl

Dave Clarke, Tobias Wrigstad

claim paper

Read More »

« Prev « First page 48 / 2117 Last » Next »