An introduction to OBJ 3

Joseph Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy Winkler

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


OBJ 3 is a new implementation of the OBJ language, with a new efficient operational semantics based on order-sorted term-rewriting. OBJ is a declarative language, with mathematical semantics given by order-sorted equational logic; its statements are equations that state properties the solution should have; i.e., they describe the problem to be solved. In addition, OBJ has a uniquely powerful generic module mechanism, including non-executable “theories” as well as executable “objects,” plus “module expressions” that describe and construct whole subsystems. OBJ also has user-definable abstract data types with user-definable mixfix syntax and a powerful and flexible type system that supports overloading and subtypes. OBJ is thus a wide-spectrum language that elegantly integrates coding, specification and design into a single framework.

Original languageEnglish (US)
Title of host publicationConditional Term Rewriting Systems - 1st International Workshop, Proceedings
EditorsStephane Kaplan, Jean-Pierre Jouannaud
Number of pages6
ISBN (Print)9783540192428
StatePublished - 1988
Externally publishedYes
Event1st International Workshop on Conditional Term Rewriting Systems, 1987 - Orsay, France
Duration: Jul 8 1987Jul 10 1987

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume308 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other1st International Workshop on Conditional Term Rewriting Systems, 1987

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'An introduction to OBJ 3'. Together they form a unique fingerprint.

Cite this