Walter G. Olthoff

14 papers A* 1A 4Journal 4Unranked 4

Year	Rank	Type	Title / 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