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
4161989
Interfaces for strongly-typed object-oriented programming
PS Canning, WR Cook, WL Hill, WG Olthoff
ACM SigPlan Notices 24 (10), 457-467, 1989
2011989
Towards a kernel language for object-oriented programming
P Canning, W Hill, W Olthoff
Hewlett-Packard Company, 1988
201988
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
131986
Towards a formalization of the software development process
C Beierle, W Olthoff, A Voß
Software engineering 86, 1986
111986
APE: An expert system for Automatic Programming from abstract specifications of data types and algorithms
U Bartels, W Olthoff, P Raulefs
Saarländische Universitäts-und Landesbibliothek, 1981
111981
Qualitätssicherung durch Programmverifikation und algebraische Methoden der Software-entwicklung
C Beierle, W Olthoff, A Voß
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
51985
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
51984
The connection between applicative and procedural languages in an integrated software development and verification system
W Olthoff
na, 1987
41987
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
31989
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: Selected Papers
W Olthoff
Springer, 1995
11995
Semantics of ModPascal
W Olthoff
Saarländische Universitäts-und Landesbibliothek, 1984
11984
An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types
U Bartels, W Olthoff, P Raulefs
GWAI-81: German Workshop on Artificial Intelligence Bad Honnef, January 26 …, 1981
11981
Object-oriented Programming: 9th European Conference, Ecoop'95, Aarhus, Denmark, August...
W Olthoff
Springer, 1995
1995
ECOOP'95-Object-oriented Programming: 9th European Conference, Åarhus, Denmark, August 7-11, 1995: Proceedings
M Tokoro, R Pareschi
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