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 - 1985
Externally publishedYes

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

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. 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
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
@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",
language = "English (US)",
isbn = "0897911474",
pages = "52--66",
booktitle = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",
publisher = "ACM",

}

TY - GEN

T1 - PRINCIPLES OF OBJ2.

AU - Futatsugi, Kokichi

AU - Goguen, Joseph A.

AU - Jouannaud, Jean Pierre

AU - Meseguer, Jose

PY - 1985

Y1 - 1985

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

SN - 0897911474

SP - 52

EP - 66

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

PB - ACM

ER -