Walter G. Olthoff

Publication Activity (10 Years)

Years Active: 1981-1989
Publications (10 Years): 0

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff
Interfaces for Strongly-Typed Object-Oriented Programming. OOPSLA (1989)
Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell
F-Bounded Polymorphism for Object-Oriented Programming. FPCA (1989)
Walter G. Olthoff, James Kempf
An Algebraic Specification of Method Combination for the Common Lisp Object System. LISP Symb. Comput. 2 (2) (1989)
Christoph Beierle, Walter G. Olthoff, Angi Voß
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. Inform. Spektrum 11 (6) (1988)
Christoph Beierle, Walter G. Olthoff, Angi Voß
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung LILOG-Report 42 (1988)
Walter G. Olthoff
The Module Concept of Modpascal: Integration of Abstract Data Types in an Imperative Programming Language. Software-Architektur (1986)
Christoph Beierle, Walter G. Olthoff, Angi Voß
A Software Development Environment Integrating Specification and Programming Languages. Software-Architektur (1986)
Christoph Beierle, Walter G. Olthoff, Angi Voß
Automatic Theorem Proving in the ISDV System. CADE (1986)
Walter G. Olthoff
Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience. OOPSLA (1986)
Walter G. Olthoff
An overview on ModPascal. ACM SIGPLAN Notices 20 (10) (1985)
Ulrich Bartels, Walter G. Olthoff, Peter Raulefs
An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types. GWAI (1981)
Ulrich Bartels, Walter G. Olthoff, Peter Raulefs
APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms. IJCAI (1981)

Walter G. Olthoff.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Walter G. Olthoff