| 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 | 416 | 1989 |
| Interfaces for strongly-typed object-oriented programming PS Canning, WR Cook, WL Hill, WG Olthoff ACM SigPlan Notices 24 (10), 457-467, 1989 | 203 | 1989 |
| Towards a kernel language for object-oriented programming P Canning, W Hill, W Olthoff Hewlett-Packard Company, 1988 | 20 | 1988 |
| 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 | 14 | 1986 |
| Towards a formalization of the software development process C Beierle, W Olthoff, A Voß Software engineering 86, 1986 | 12 | 1986 |
| 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 | 11 | 1981 |
| Qualitätssicherung durch Programmverifikation und algebraische Methoden der Software-entwicklung C Beierle, W Olthoff, A Voß | 6 | 1988 |
| A glossary of common object-oriented terminology A Snyder, W Hill, W Olthoff Hewlett-Packard Laboratories, 1989 | 5 | 1989 |
| An overview on ModPascal W Olthoff ACM SIGPLAN Notices 20 (10), 60-71, 1985 | 5 | 1985 |
| The connection between applicative and procedural languages in an integrated software development and verification system W Olthoff na, 1987 | 4 | 1987 |
| 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 | 4 | 1984 |
| 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 | 3 | 1989 |
| ECOOP'95-Object-Oriented Programming: 9th European Conference, Aarhus, Denmark, August 7-11, 1995. Proceedings W Olthoff Springer, 2003 | 1 | 2003 |
| ECOOP'95: Object-oriented Programming: 9th European Conference: Selected Papers W Olthoff Springer, 1995 | 1 | 1995 |
| Semantics of ModPascal W Olthoff Saarländische Universitäts-und Landesbibliothek, 1984 | 1 | 1984 |
| 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 | 1 | 1981 |
| 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 |
