Walter G. Olthoff
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1981–1989
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1989 | OOPSLA | Interfaces for Strongly-Typed Object-Oriented Programming. | Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff |
| 1986 | CADE | Automatic Theorem Proving in the ISDV System. | Christoph Beierle, Walter G. Olthoff, Angi Vo |
| 1986 | OOPSLA | Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience. | Walter G. Olthoff |
| 1981 | IJCAI | APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms. | Ulrich Bartels, Walter G. Olthoff, Peter Raulefs |
| 1981 | KI | An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types. | Ulrich Bartels, Walter G. Olthoff, Peter Raulefs |