Walter G. Olthoff

According to our database, Walter G. Olthoff authored at least 12 papers between 1981 and 1989.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1989

An Algebraic Specification of Method Combination for the Common Lisp Object System.

Walter G. Olthoff, James Kempf

LISP Symb. Comput., 1989

Interfaces for Strongly-Typed Object-Oriented Programming.

Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff

Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

F-Bounded Polymorphism for Object-Oriented Programming.

Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988

Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung

Christoph Beierle, Walter G. Olthoff, Angi Voß

LILOG-Report, 1988

1987

The connection between applicative and procedural languages in an integrated software development and verification system.

Walter G. Olthoff

PhD thesis, 1987

1986

The Module Concept of Modpascal: Integration of Abstract Data Types in an Imperative Programming Language.

Walter G. Olthoff

Proceedings of the Software-Architektur und modulare Programmierung, 1986

A Software Development Environment Integrating Specification and Programming Languages.

Christoph Beierle, Walter G. Olthoff, Angi Voß

Proceedings of the Software-Architektur und modulare Programmierung, 1986

Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience.

Walter G. Olthoff

Proceedings of the Conference on Object-Oriented Programming Systems, 1986

Automatic Theorem Proving in the ISDV System.

Christoph Beierle, Walter G. Olthoff, Angi Voß

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

An overview on ModPascal.

Walter G. Olthoff

ACM SIGPLAN Notices, 1985

1981

An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types.

Ulrich Bartels, Walter G. Olthoff, Peter Raulefs

Proceedings of the GWAI-81, 1981

APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms.

Ulrich Bartels, Walter G. Olthoff, Peter Raulefs

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981