Sciweavers

10871 search results - page 31 / 2175
» A stable programming language
Sort
View
136
Voted
ESOP
1998
Springer
15 years 6 months ago
Recursive Object Types in a Logic of Object-Oriented Programs
K. Rustan M. Leino
SIGADA
1998
Springer
15 years 6 months ago
Object-Oriented and Concurrent Program Design Issues in Ada 95
Stephen H. Kaisler, Michael B. Feldman