 | 1995 |
|---|
| 12 |       | Walter G. Olthoff:
ECOOP'95 - Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995, Proceedings
Springer 1995 |
| 1989 |
|---|
| 11 |  | Peter S. Canning,
William R. Cook,
Walter L. Hill,
Walter G. Olthoff,
John C. Mitchell:
F-Bounded Polymorphism for Object-Oriented Programming.
FPCA 1989: 273-280 |
| 10 | | Peter S. Canning,
William R. Cook,
Walter L. Hill,
Walter G. Olthoff:
Interfaces for Strongly-Typed Object-Oriented Programming.
OOPSLA 1989: 457-467 |
| 9 | | Walter G. Olthoff,
James Kempf:
An Algebraic Specification of Method Combination for the Common Lisp Object System.
Lisp and Symbolic Computation 2(2): 115-152 (1989) |
| 1988 |
|---|
| 8 | | Christoph Beierle,
Walter G. Olthoff,
Angi Voß:
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung.
Informatik Spektrum 11(6): 292-302 (1988) |
| 7 | | Christoph Beierle,
Walter G. Olthoff,
Angi Voß:
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung
LILOG-Report 42: (1988) |
| 1986 |
|---|
| 6 | | Christoph Beierle,
Walter G. Olthoff,
Angi Voß:
Automatic Theorem Proving in the ISDV System.
CADE 1986: 670-671 |
| 5 | | Walter G. Olthoff:
Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience.
OOPSLA 1986: 429-443 |
| 4 | | Walter G. Olthoff:
The Module Concept of Modpascal: Integration of Abstract Data Types in an Imperative Programming Language.
Software-Architektur 1986: 123-137 |
| 3 | | Christoph Beierle,
Walter G. Olthoff,
Angi Voß:
A Software Development Environment Integrating Specification and Programming Languages.
Software-Architektur 1986: 9-25 |
| 1981 |
|---|
| 2 | | Ulrich Bartels,
Walter G. Olthoff,
Peter Raulefs:
An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types.
GWAI 1981: 112-123 |
| 1 | | Ulrich Bartels,
Walter G. Olthoff,
Peter Raulefs:
APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms.
IJCAI 1981: 1037-1043 |
