Sciweavers

3558 search results - page 5 / 712

» Object-Oriented Programming on the Network

29

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

13 years 11 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 »

29

TOOLS
1992
IEEE

149views Programming Languages» more TOOLS 1992»

Object-Oriented Programming Languages

13 years 11 months ago

Object-Oriented Programming Languages

Download www.spelman.edu

Raimund K. Ege

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

PADO
2001
Springer

104views Programming Languages» more PADO 2001»

Partial Evaluation for Class-Based Object-Oriented Languages

13 years 12 months ago

Partial Evaluation for Class-Based Object-Oriented Languages

Download www.mip.sdu.dk

Ulrik Pagh Schultz

claim paper

Read More »

« Prev « First page 5 / 712 Last » Next »