Walter G. Olthoff

14 papers A* 1A 4Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
1995 A ed.
ECOOP'95 - Object-Oriented Programming, 9th European Conference, Århus, Denmark, August 7-11, 1995, Proceedings
ECOOP
Walter G. Olthoff
1989 J jnl
An Algebraic Specification of Method Combination for the Common Lisp Object System.
LISP Symb. Comput.
Walter G. Olthoff, James Kempf
1989 — conf
F-Bounded Polymorphism for Object-Oriented Programming.
FPCA
Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell
1989 A conf
Interfaces for Strongly-Typed Object-Oriented Programming.
OOPSLA
Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff
1988 J jnl
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung
LILOG-Report
Christoph Beierle, Walter G. Olthoff, Angi Voß
1988 J jnl
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung.
Inform. Spektrum
Christoph Beierle, Walter G. Olthoff, Angi Voß
1987 — —
The connection between applicative and procedural languages in an integrated software development and verification system.
Walter G. Olthoff
1986 — conf
A Software Development Environment Integrating Specification and Programming Languages.
Software-Architektur
Christoph Beierle, Walter G. Olthoff, Angi Voß
1986 A conf
Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience.
OOPSLA
Walter G. Olthoff
1986 A conf
Automatic Theorem Proving in the ISDV System.
CADE
Christoph Beierle, Walter G. Olthoff, Angi Voß
1986 — conf
The Module Concept of Modpascal: Integration of Abstract Data Types in an Imperative Programming Language.
Software-Architektur
Walter G. Olthoff
1985 J jnl
An overview on ModPascal.
ACM SIGPLAN Notices
Walter G. Olthoff
1981 A* conf
APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms.
IJCAI
Ulrich Bartels, Walter G. Olthoff, Peter Raulefs
1981 — conf
An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types.
GWAI
Ulrich Bartels, Walter G. Olthoff, Peter Raulefs