The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Walter G. Olthoff: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.048secs, Finished in 0.049secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002