dblp.uni-trier.dewww.uni-trier.de

Walter G. Olthoff Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1995
12 Walter G. Olthoff: ECOOP'95 - Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995, Proceedings Springer 1995
1989
11EEPeter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell: F-Bounded Polymorphism for Object-Oriented Programming. FPCA 1989: 273-280
10 Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff: Interfaces for Strongly-Typed Object-Oriented Programming. OOPSLA 1989: 457-467
9 Walter G. Olthoff, James Kempf: An Algebraic Specification of Method Combination for the Common Lisp Object System. Lisp and Symbolic Computation 2(2): 115-152 (1989)
1988
8 Christoph Beierle, Walter G. Olthoff, Angi Voß: Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. Informatik Spektrum 11(6): 292-302 (1988)
7 Christoph Beierle, Walter G. Olthoff, Angi Voß: Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung LILOG-Report 42: (1988)
1986
6EEChristoph Beierle, Walter G. Olthoff, Angi Voß: Automatic Theorem Proving in the ISDV System. CADE 1986: 670-671
5 Walter G. Olthoff: Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience. OOPSLA 1986: 429-443
4 Walter G. Olthoff: The Module Concept of Modpascal: Integration of Abstract Data Types in an Imperative Programming Language. Software-Architektur 1986: 123-137
3 Christoph Beierle, Walter G. Olthoff, Angi Voß: A Software Development Environment Integrating Specification and Programming Languages. Software-Architektur 1986: 9-25
1981
2 Ulrich Bartels, Walter G. Olthoff, Peter Raulefs: An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types. GWAI 1981: 112-123
1 Ulrich Bartels, Walter G. Olthoff, Peter Raulefs: APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms. IJCAI 1981: 1037-1043

Coauthor Index

1Ulrich Bartels [1] [2]
2Christoph Beierle [3] [6] [7] [8]
3Peter S. Canning [10] [11]
4William R. Cook [10] [11]
5Walter L. Hill [10] [11]
6James Kempf [9]
7John C. Mitchell [11]
8Peter Raulefs [1] [2]
9Angi Voß (Angi Voss) [3] [6] [7] [8]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)