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 language||English (US)|
|Title of host publication||Conference Record of the Annual ACM Symposium on Principles of Programming Languages|
|Number of pages||15|
|ISBN (Print)||0897911474, 9780897911474|
|State||Published - Jan 1 1985|
|Name||Conference Record of the Annual ACM Symposium on Principles of Programming Languages|
ASJC Scopus subject areas