PARAMETERIZED PROGRAMMING IN OBJ2.

Kokichi Futatsugi, Joseph Goguen, Jose Meseguer, Koji Okada

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

A discussion is presented on parameterized programming, a powerful technique for the construction, maintenance, and reuse of software in which modules may be parameterized over very general interfaces that describe what properties of an environment are required for the module to work correctly. Ease of construction, maintenance, and reuse of software are all enhanced by the flexibility of the parameterization mechanism provided. The basics of OBJ2, a language designed to support parameterized programming using algebraic specification techniques, are presented. OBJ2 provides facilities for user-definable abstract data types, parameterized abstract objects, and interactive programming. It is a functional programming language based on equational logic, rather than on general first-order logic; because equations can be interpreted directly as rewrite rules, it is easy to see their computational significance as well as their logical significance. Some simple examples of parameterized programming in OBJ2 are provided.

Original languageEnglish (US)
Title of host publicationProceedings - International Conference on Software Engineering
PublisherIEEE
Pages51-60
Number of pages10
ISBN (Print)0897912160
StatePublished - Jan 1 1987
Externally publishedYes

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'PARAMETERIZED PROGRAMMING IN OBJ2.'. Together they form a unique fingerprint.

  • Cite this

    Futatsugi, K., Goguen, J., Meseguer, J., & Okada, K. (1987). PARAMETERIZED PROGRAMMING IN OBJ2. In Proceedings - International Conference on Software Engineering (pp. 51-60). (Proceedings - International Conference on Software Engineering). IEEE.