More Higher Order Programming in OBJ

  • Joseph A. Goguen
  • Grant Malcolm
Part of the Advances in Formal Methods book series (ADFM, volume 2)


This paper discusses the use of OBJ3’s parameterized modules for higher order programming, giving examples beyond those in [8, 3, 4] and showing some capabilities that may seem surprising. We also discuss parameterized views, which are not yet implemented, but which we hope soon will be. We assume familiarity with [8], which appears as the first paper in this book.


Parameterized Module Category Theory Parameter Theory Inductive Proof Parameterized Programming 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Su Feng, Toshiki Sakabe, and Yasuyoshi Inagaki. Mechanizing explicit inductive equational reasoning by DTRC. In Kokichi Futatsugi, editor, Proceedings, Workshop on Tenth Anniversary of OBJ2, Itoh, Japan, 2122 October 1995. Unisys, 1995.Google Scholar
  2. [2]
    Kokichi Futatsugi and Toshimi Sawada. Design considerations for Cafe specification environment. In Kokichi Futatsugi, editor, Proceedings, Workshop on Tenth Anniversary of OBJ2, Itoh, Japan, 21–22 October 1995. Unisys, 1995.Google Scholar
  3. [3]
    Joseph Goguen. Principles of parameterized programming. In Ted Biggerstaff and Alan Perlis, editors, Software Reusability, Volume 1: Concepts and Models, pages 159–225. Addison Wesley, 1989.Google Scholar
  4. [4]
    Joseph Goguen. Higher-order functions considered unnecessary for higher-order programming. In David Turner, editor, Research Topics in Functional Programming, pages 309–352. Addison Wesley, 1990. University of Texas at Austin Year of Programming Series; preliminary version in SRI Technical Report SRI-CSL-88–1, January 1988.Google Scholar
  5. [5]
    Joseph Goguen. Types as theories. In George Michael Reed, Andrew William Roscoe, and Ralph E Wachter, editors, Topology and Category Theory in Computer Science, pages 357–390. Oxford, 1991. Proceedings of a Conference held at Oxford, June 1989.Google Scholar
  6. [6]
    Joseph Goguen and Räzvan Diaconescu. Towards an algebraic semantics for the object paradigm. In Hartmut Ehrig and Fernando Orejas, editors, Proceedings, Tenth Workshop on Abstract Data Types, pages 1–29. Springer, 1994. Lecture Notes in Computer Science, Volume 785.Google Scholar
  7. [7]
    Joseph Goguen and William Tracz. An implementation-oriented semantics for module composition. In Gary Leavens and Murali Sitaraman, editors Foundations of Component-based Systems. Cambridge, 1999. To appear. Google Scholar
  8. [8]
    Joseph Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ. This volume.Google Scholar
  9. [9]
    Hirokazu Yatsu and Kokichi Futatsugi. Modular specification in CafeOBJ. In Kokichi Futatsugi, editor,Proceedings Workshop on Tenth Anniversary of OBJ2 Itoh Japan 21–22 October 1995. Unisys, 1995.Google Scholar

Copyright information

© Springer Science+Business Media New York 2000

Authors and Affiliations

  • Joseph A. Goguen
    • 1
  • Grant Malcolm
    • 2
  1. 1.Department of Computer Science and EngineeringUniversity of CaliforniaSan DiegoUSA
  2. 2.Department of Computer ScienceUniversity of LiverpoolUK

Personalised recommendations