Walter G. Olthoff

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1989
An Algebraic Specification of Method Combination for the Common Lisp Object System.
Lisp and Symbolic Computation, 1989

Interfaces for Strongly-Typed Object-Oriented Programming.
Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

F-Bounded Polymorphism for Object-Oriented Programming.
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
LILOG-Report, 1988

Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung.
Informatik Spektrum, 1988

1987
The connection between applicative and procedural languages in an integrated software development and verification system.
PhD thesis, 1987

1986
The Module Concept of Modpascal: Integration of Abstract Data Types in an Imperative Programming Language.
Proceedings of the Software-Architektur und modulare Programmierung, 1986

A Software Development Environment Integrating Specification and Programming Languages.
Proceedings of the Software-Architektur und modulare Programmierung, 1986

Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience.
Proceedings of the Conference on Object-Oriented Programming Systems, 1986

Automatic Theorem Proving in the ISDV System.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985
An overview on ModPascal.
SIGPLAN Notices, 1985

1981
An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types.
Proceedings of the GWAI-81, 1981

APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981


  Loading...