• DOI:10.1145/318593.318610
Corpus ID: 19013345

Principles of OBJ2

@inproceedings{Futatsugi1985PrinciplesOO,
  title={Principles of OBJ2},
  author={Kokichi Futatsugi and Joseph A. Goguen and Jean-Pierre Jouannaud and Jos{\'e} Meseguer},
  booktitle={POPL '85},
  year={1985}
}

Kokichi Futatsugi, Joseph A. Goguen, +1 author José Meseguer

Published in POPL '85 1985

Computer Science

0~12 is a functional programming language with an underlying formal semantics that is based upon equational logic, and an oprtationnl semantics that is based upon rewrite rules. Four clsssrs of design principles for 01352 ate discussed briefly in this inttoduct,ion, and then in mote detail brlnw: (1) motlulntizntion and patnmcteriantion; (2) subsorts; (3) implcmcntnt.ion IcBchniquc>s; and (4) inlrtaction and flexibility. WC also lrace C)II.l history, current shtus, and future plans, and give n… CONTINUE READING

View on ACM

doi.org

Save to Library

Create Alert

Cite

Launch Research Feed