Sciweavers

626 search results - page 4 / 126

» Towards a Unified Programming Language

25

ICFP
2005
ACM

104views Programming Languages» more ICFP 2005»

Towards a type theory of contexts

14 years 8 months ago

Towards a type theory of contexts

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

22

PLDI
2003
ACM

104views Programming Languages» more PLDI 2003»

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

14 years 1 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 »

19

IFIP
2001
Springer

107views Programming Languages» more IFIP 2001»

Towards a Semiotic Communications Quality Model

14 years 1 months ago

Towards a Semiotic Communications Quality Model

Download www.communitysense.nl

Aldo de Moor, Hans Weigand

claim paper

Read More »

32

TOOLS
2000
IEEE

117views Programming Languages» more TOOLS 2000»

Towards a Semantic Metrics Suite for Object-Oriented Design

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

32

TOOLS
1993
IEEE

105views Programming Languages» more TOOLS 1993»

Towards an Object-Oriented Curriculum

14 years 20 days ago

Towards an Object-Oriented Curriculum

Download se.ethz.ch

Bertrand Meyer

claim paper

Read More »

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