Sciweavers

626 search results - page 4 / 126

» Towards a Unified Programming Language

129

Voted

ICFP
2005
ACM

104views Programming Languages» more ICFP 2005»

Towards a type theory of contexts

16 years 3 months ago

Towards a type theory of contexts

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

104

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 »

106

Voted

IFIP
2001
Springer

107views Programming Languages» more IFIP 2001»

Towards a Semiotic Communications Quality Model

15 years 8 months ago

Towards a Semiotic Communications Quality Model

Download www.communitysense.nl

Aldo de Moor, Hans Weigand

claim paper

Read More »

127

TOOLS
2000
IEEE

117views Programming Languages» more TOOLS 2000»

Towards a Semantic Metrics Suite for Object-Oriented Design

15 years 8 months ago

Towards a Semantic Metrics Suite for Object-Oriented Design

Download www.cs.uah.edu

Letha H. Etzkorn, Harry S. Delugach

claim paper

Read More »

112

Voted

TOOLS
1993
IEEE

105views Programming Languages» more TOOLS 1993»

Towards an Object-Oriented Curriculum

15 years 8 months ago

Towards an Object-Oriented Curriculum

Download se.ethz.ch

Bertrand Meyer

claim paper

Read More »

« Prev « First page 4 / 126 Last » Next »