Sciweavers

10871 search results - page 54 / 2175

» A stable programming language

27

ESOP
2004
Springer

123views Programming Languages» more ESOP 2004»

Strong Preservation as Completeness in Abstract Interpretation

14 years 1 months ago

Strong Preservation as Completeness in Abstract Interpretation

Download www.math.unipd.it

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

20

PLDI
2003
ACM

104views Programming Languages» more PLDI 2003»

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

14 years 28 days 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 »

22

ECOOP
2003
Springer

83views Programming Languages» more ECOOP 2003»

External Uniqueness Is Unique Enough

14 years 27 days ago

External Uniqueness Is Unique Enough

Download www.cs.uu.nl

Dave Clarke, Tobias Wrigstad

claim paper

Read More »

22

ECOOP
2003
Springer

114views Programming Languages» more ECOOP 2003»

Regular Object Types

14 years 27 days ago

Regular Object Types

Download www.cis.upenn.edu

Vladimir Gapeyev, Benjamin C. Pierce

claim paper

Read More »

18

ECOOP
2003
Springer

90views Programming Languages» more ECOOP 2003»

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

14 years 27 days ago

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

Download patricklam.ca

Patrick Lam, Martin C. Rinard

claim paper

Read More »

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