Sciweavers

10622 search results - page 52 / 2125

» Python Programming Language

64

PLDI
2003
ACM

104views Programming Languages» more PLDI 2003»

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

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

61

ECOOP
2003
Springer

83views Programming Languages» more ECOOP 2003»

External Uniqueness Is Unique Enough

15 years 3 months ago

External Uniqueness Is Unique Enough

Download www.cs.uu.nl

Dave Clarke, Tobias Wrigstad

claim paper

Read More »

56

ECOOP
2003
Springer

114views Programming Languages» more ECOOP 2003»

Regular Object Types

15 years 3 months ago

Regular Object Types

Download www.cis.upenn.edu

Vladimir Gapeyev, Benjamin C. Pierce

claim paper

Read More »

72

ECOOP
2003
Springer

90views Programming Languages» more ECOOP 2003»

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

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

59

ECOOP
2003
Springer

98views Programming Languages» more ECOOP 2003»

Java Subtype Tests in Real-Time

15 years 3 months ago

Java Subtype Tests in Real-Time

Download www.cs.purdue.edu

Krzysztof Palacz, Jan Vitek

claim paper

Read More »

« Prev « First page 52 / 2125 Last » Next »