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
U2 - 10.1145/318593.318610
DO - 10.1145/318593.318610
M3 - Conference contribution
AN - SCOPUS:0022188648
SN - 0897911474
SN - 9780897911474
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 -