Sciweavers

10935 search results - page 41 / 2187

» Neural Programming Language

124

ESOP
2004
Springer

97views Programming Languages» more ESOP 2004»

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

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

119

ESOP
2004
Springer

123views Programming Languages» more ESOP 2004»

Strong Preservation as Completeness in Abstract Interpretation

15 years 10 months ago

Strong Preservation as Completeness in Abstract Interpretation

Download www.math.unipd.it

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

106

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

95

ECOOP
2003
Springer

83views Programming Languages» more ECOOP 2003»

External Uniqueness Is Unique Enough

15 years 9 months ago

External Uniqueness Is Unique Enough

Download www.cs.uu.nl

Dave Clarke, Tobias Wrigstad

claim paper

Read More »

96

ECOOP
2003
Springer

114views Programming Languages» more ECOOP 2003»

Regular Object Types

15 years 9 months ago

Regular Object Types

Download www.cis.upenn.edu

Vladimir Gapeyev, Benjamin C. Pierce

claim paper

Read More »

« Prev « First page 41 / 2187 Last » Next »