Sciweavers

3558 search results - page 5 / 712
» Object-Oriented Programming on the Network
Sort
View
173
Voted
ESOP
1998
Springer
15 years 10 months ago
Recursive Object Types in a Logic of Object-Oriented Programs
K. Rustan M. Leino
111
Voted
SIGADA
1998
Springer
15 years 10 months ago
Object-Oriented and Concurrent Program Design Issues in Ada 95
Stephen H. Kaisler, Michael B. Feldman
143
Voted
PADO
2001
Springer
15 years 10 months ago
Partial Evaluation for Class-Based Object-Oriented Languages
Ulrik Pagh Schultz