Follow
Walter Olthoff
Walter Olthoff
Verified email at dfki.de
Title
Cited by
Cited by
Year
F-bounded polymorphism for object-oriented programming
P Canning, W Cook, W Hill, W Olthoff, JC Mitchell
Proceedings of the fourth international conference on functional programming …, 1989
3971989
Interfaces for strongly-typed object-oriented programming
PS Canning, WR Cook, WL Hill, WG Olthoff
ACM SigPlan Notices 24 (10), 457-467, 1989
1701989
Towards a kernel language for object-oriented programming
P Canning, W Hill, W Olthoff
Hewlett-Packard Company, 1988
211988
Towards a formalization of the software development process
C Beierle, W Olthoff, A Voß
Software engineering 86, 1986
121986
APE: An expert system for Automatic Programming from abstract specifications of data types and algorithms
U Bartels, W Olthoff, P Raulefs
Proceedings of the 7th international joint conference on Artificial …, 1981
121981
Augmentation of object-oriented programming by concepts of abstract data type theory: the ModPascal experience
WG Olthoff
Conference proceedings on Object-oriented programming systems, languages and …, 1986
111986
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung
C Beierle, WG Olthoff, A Voß
Informatik Spektrum: Vol. 11, No. 6, 1988
61988
A glossary of common object-oriented terminology
A Snyder, W Hill, W Olthoff
Hewlett-Packard Laboratories, 1989
51989
An overview on ModPascal
W Olthoff
ACM SIGPLAN Notices 20 (10), 60-71, 1985
41985
Integrated program development and verification
C Beierle, M Gerlach, R Göbel, W Olthoff, P Raulefs, A Voss
Proc. of a symposium on Software validation: inspection-testing-verification …, 1984
41984
The connection between applicative and procedural languages in an integrated software development and verification system
W Olthoff
na, 1987
31987
An algebraic specification of method combination for the Common Lisp Object System
W Olthoff, J Kempf
Lisp and Symbolic Computation 2 (2), 115-152, 1989
21989
ECOOP'95-Object-Oriented Programming: 9th European Conference, Aarhus, Denmark, August 7-11, 1995. Proceedings
W Olthoff
Springer, 2003
12003
ECOOP'95, Object-oriented Programming: 9th European Conference, Åarhus, Denmark, August 7-11, 1995
W Olthoff
Springer, 1995
11995
Semantics of ModPascal
W Olthoff
Universität Kaiserslautern, 1984
11984
An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types
U Bartels, W Olthoff, P Raulefs
GWAI-81, 112-123, 1981
11981
ECOOP'95, Object-oriented Programming: 9th European Conference, Åarhus, Denmark, August 7-11, 1995: Proceedings
M Tokoro, W Olthoff, R Pareschi
Springer Science & Business Media, 1995
1995
ECOOP'95: Object-oriented Programming: 9th European Conference: Selected Papers
W Olthoff
Springer, 1995
1995
The Connection Between Applicative and Procedural Languages
W Olthoff
1987
Automatic theorem proving in the ISDV system
C Beierle, W Olthoff, A Voss
International Conference on Automated Deduction, 670-671, 1986
1986
The system can't perform the operation now. Try again later.
Articles 1–20