Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
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.
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.
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.
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.
Joseph Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ. This volume.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Goguen, J.A., Malcolm, G. (2000). More Higher Order Programming in OBJ. In: Goguen, J., Malcolm, G. (eds) Software Engineering with OBJ. Advances in Formal Methods, vol 2. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-6541-0_9
Download citation
DOI: https://doi.org/10.1007/978-1-4757-6541-0_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-4965-3
Online ISBN: 978-1-4757-6541-0
eBook Packages: Springer Book Archive