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},
  year={1985}
}

• Kokichi Futatsugi, Joseph A. Goguen, +1 author José Meseguer
• Published in POPL 1985
• DOI:10.1145/318593.318610

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

Save to Library

Create Alert

Cite