An introduction to OBJ 3

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

doi:10.1007/3-540-19242-5_22

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 proceeding › Conference contribution

Abstract

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 language	English (US)
Title of host publication	Conditional Term Rewriting Systems - 1st International Workshop, Proceedings
Editors	Stephane Kaplan, Jean-Pierre Jouannaud
Publisher	Springer
Pages	258-263
Number of pages	6
ISBN (Print)	9783540192428
DOIs	https://doi.org/10.1007/3-540-19242-5_22
State	Published - 1988
Externally published	Yes
Event	1st International Workshop on Conditional Term Rewriting Systems, 1987 - Orsay, France Duration: Jul 8 1987 → Jul 10 1987

Publication series

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

Other

Other	1st International Workshop on Conditional Term Rewriting Systems, 1987
Country/Territory	France
City	Orsay
Period	7/8/87 → 7/10/87

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1007/3-540-19242-5_22

Library availability

Discover UIUC Full Text

Cite this

Goguen, J., Kirchner, C., Kirchner, H., Mégrelis, A., Meseguer, J., & Winkler, T. (1988). An introduction to OBJ 3. In S. Kaplan, & J.-P. Jouannaud (Eds.), Conditional Term Rewriting Systems - 1st International Workshop, Proceedings (pp. 258-263). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 308 LNCS). Springer. https://doi.org/10.1007/3-540-19242-5_22

An introduction to OBJ 3. / Goguen, Joseph; Kirchner, Claude; Kirchner, Hélène et al.
Conditional Term Rewriting Systems - 1st International Workshop, Proceedings. ed. / Stephane Kaplan; Jean-Pierre Jouannaud. Springer, 1988. p. 258-263 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 308 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Goguen, J, Kirchner, C, Kirchner, H, Mégrelis, A, Meseguer, J & Winkler, T 1988, An introduction to OBJ 3. in S Kaplan & J-P Jouannaud (eds), Conditional Term Rewriting Systems - 1st International Workshop, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 308 LNCS, Springer, pp. 258-263, 1st International Workshop on Conditional Term Rewriting Systems, 1987, Orsay, France, 7/8/87. https://doi.org/10.1007/3-540-19242-5_22

Goguen J, Kirchner C, Kirchner H, Mégrelis A, Meseguer J, Winkler T. An introduction to OBJ 3. In Kaplan S, Jouannaud JP, editors, Conditional Term Rewriting Systems - 1st International Workshop, Proceedings. Springer. 1988. p. 258-263. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-19242-5_22

Goguen, Joseph ; Kirchner, Claude ; Kirchner, Hélène et al. / An introduction to OBJ 3. Conditional Term Rewriting Systems - 1st International Workshop, Proceedings. editor / Stephane Kaplan ; Jean-Pierre Jouannaud. Springer, 1988. pp. 258-263 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{56bbfc7f4fd04cc7a081fc2511f6e753,

title = "An introduction to OBJ 3",

abstract = "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 {\textquotedblleft}theories{\textquotedblright} as well as executable {\textquotedblleft}objects,{\textquotedblright} plus {\textquotedblleft}module expressions{\textquotedblright} 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.",

author = "Joseph Goguen and Claude Kirchner and H{\'e}l{\`e}ne Kirchner and Aristide M{\'e}grelis and Jos{\'e} Meseguer and Timothy Winkler",

note = "*Supported by Office of Naval Research Contracts N00014-85-C-0417 and N00014-86-C-0450\textasciitilde{} NSF Grant CCR-8707155, a gift from the System DevelopmentF oundation, fellowship from BULL (DEDL) and by CNRS (France).; 1st International Workshop on Conditional Term Rewriting Systems, 1987 ; Conference date: 08-07-1987 Through 10-07-1987",

year = "1988",

doi = "10.1007/3-540-19242-5\_22",

language = "English (US)",

isbn = "9783540192428",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "258--263",

editor = "Stephane Kaplan and Jean-Pierre Jouannaud",

booktitle = "Conditional Term Rewriting Systems - 1st International Workshop, Proceedings",

address = "Germany",

}

TY - GEN

T1 - An introduction to OBJ 3

AU - Goguen, Joseph

AU - Kirchner, Claude

AU - Kirchner, Hélène

AU - Mégrelis, Aristide

AU - Meseguer, José

AU - Winkler, Timothy

N1 - *Supported by Office of Naval Research Contracts N00014-85-C-0417 and N00014-86-C-0450~ NSF Grant CCR-8707155, a gift from the System DevelopmentF oundation, fellowship from BULL (DEDL) and by CNRS (France).

PY - 1988

Y1 - 1988

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85032209792

UR - https://www.scopus.com/pages/publications/85032209792#tab=citedBy

U2 - 10.1007/3-540-19242-5_22

DO - 10.1007/3-540-19242-5_22

M3 - Conference contribution

AN - SCOPUS:85032209792

SN - 9783540192428

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 258

EP - 263

BT - Conditional Term Rewriting Systems - 1st International Workshop, Proceedings

A2 - Kaplan, Stephane

A2 - Jouannaud, Jean-Pierre

PB - Springer

T2 - 1st International Workshop on Conditional Term Rewriting Systems, 1987

Y2 - 8 July 1987 through 10 July 1987

ER -

An introduction to OBJ 3

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this