Sciweavers

10912 search results - page 2 / 2183

» Object-Oriented Programming Languages

29

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

13 years 12 months ago

Recursive Object Types in a Logic of Object-Oriented Programs

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

19

SIGADA
1998
Springer

112views Programming Languages» more SIGADA 1998»

Object-Oriented and Concurrent Program Design Issues in Ada 95

13 years 11 months ago

Object-Oriented and Concurrent Program Design Issues in Ada 95

Download www.sigada.org

Stephen H. Kaisler, Michael B. Feldman

claim paper

Read More »

23

PLDI
1990
ACM

103views Programming Languages» more PLDI 1990»

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs

13 years 11 months ago

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs

Download selflanguage.org

Craig Chambers, David Ungar

claim paper

Read More »

27

TOOLS
2000
IEEE

117views Programming Languages» more TOOLS 2000»

Towards a Semantic Metrics Suite for Object-Oriented Design

14 years 3 hour 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 »

17

TOOLS
1998
IEEE

92views Programming Languages» more TOOLS 1998»

SableCC, an Object-Oriented Compiler Framework

13 years 12 months ago

SableCC, an Object-Oriented Compiler Framework

Download sablecc.sourceforge.net

Etienne M. Gagnon, Laurie J. Hendren

claim paper

Read More »

« Prev « First page 2 / 2183 Last » Next »