PRINCIPLES OF OBJ2.

Kokichi Futatsugi, Joseph A. Goguen, Jean Pierre Jouannaud, Jose Meseguer

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

Abstract

OBJ2 is a functional programming language with an underlying formal semantics that is based upon equational logic, and an operational semantics that is based upon rewrite rules. Four classes of design principles for OBJ2 are discussed. (1) modularization and parameterization; (2) subsorts; (3) implementation techniques; and (4) interaction and flexibility. The authors also trace OBJ history, current status, and future plans, and give a fairly complete OBJ bibliography.

Original languageEnglish (US)
Title of host publicationConference Record of the Annual ACM Symposium on Principles of Programming Languages
PublisherACM
Pages52-66
Number of pages15
ISBN (Print)0897911474
StatePublished - Dec 1 1985

Publication series

NameConference Record of the Annual ACM Symposium on Principles of Programming Languages
ISSN (Print)0730-8566

Fingerprint

Semantics
Functional programming
Bibliographies
Parameterization
Computer programming languages

ASJC Scopus subject areas

  • Software

Cite this

Futatsugi, K., Goguen, J. A., Jouannaud, J. P., & Meseguer, J. (1985). PRINCIPLES OF OBJ2. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages (pp. 52-66). (Conference Record of the Annual ACM Symposium on Principles of Programming Languages). ACM.

PRINCIPLES OF OBJ2. / Futatsugi, Kokichi; Goguen, Joseph A.; Jouannaud, Jean Pierre; Meseguer, Jose.

Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM, 1985. p. 52-66 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

Futatsugi, K, Goguen, JA, Jouannaud, JP & Meseguer, J 1985, PRINCIPLES OF OBJ2. in Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Conference Record of the Annual ACM Symposium on Principles of Programming Languages, ACM, pp. 52-66.
Futatsugi K, Goguen JA, Jouannaud JP, Meseguer J. PRINCIPLES OF OBJ2. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM. 1985. p. 52-66. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).
Futatsugi, Kokichi ; Goguen, Joseph A. ; Jouannaud, Jean Pierre ; Meseguer, Jose. / PRINCIPLES OF OBJ2. Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM, 1985. pp. 52-66 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).
@inproceedings{bc025967872240b493fbe3e9b6064212,
title = "PRINCIPLES OF OBJ2.",
abstract = "OBJ2 is a functional programming language with an underlying formal semantics that is based upon equational logic, and an operational semantics that is based upon rewrite rules. Four classes of design principles for OBJ2 are discussed. (1) modularization and parameterization; (2) subsorts; (3) implementation techniques; and (4) interaction and flexibility. The authors also trace OBJ history, current status, and future plans, and give a fairly complete OBJ bibliography.",
author = "Kokichi Futatsugi and Goguen, {Joseph A.} and Jouannaud, {Jean Pierre} and Jose Meseguer",
year = "1985",
month = "12",
day = "1",
language = "English (US)",
isbn = "0897911474",
series = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",
publisher = "ACM",
pages = "52--66",
booktitle = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",

}

TY - GEN

T1 - PRINCIPLES OF OBJ2.

AU - Futatsugi, Kokichi

AU - Goguen, Joseph A.

AU - Jouannaud, Jean Pierre

AU - Meseguer, Jose

PY - 1985/12/1

Y1 - 1985/12/1

N2 - OBJ2 is a functional programming language with an underlying formal semantics that is based upon equational logic, and an operational semantics that is based upon rewrite rules. Four classes of design principles for OBJ2 are discussed. (1) modularization and parameterization; (2) subsorts; (3) implementation techniques; and (4) interaction and flexibility. The authors also trace OBJ history, current status, and future plans, and give a fairly complete OBJ bibliography.

AB - OBJ2 is a functional programming language with an underlying formal semantics that is based upon equational logic, and an operational semantics that is based upon rewrite rules. Four classes of design principles for OBJ2 are discussed. (1) modularization and parameterization; (2) subsorts; (3) implementation techniques; and (4) interaction and flexibility. The authors also trace OBJ history, current status, and future plans, and give a fairly complete OBJ bibliography.

UR - http://www.scopus.com/inward/record.url?scp=0022188648&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0022188648&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0022188648

SN - 0897911474

T3 - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

SP - 52

EP - 66

BT - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

PB - ACM

ER -