Principles of OBJ2

K. Futatsugi; J. Goguen; J. Jouannaud; J. Meseguer

DOI:10.1145/318593.318610

Corpus ID: 19013345

Principles of OBJ2

@inproceedings{Futatsugi1985PrinciplesOO,
  title={Principles of OBJ2},
  author={K. Futatsugi and J. Goguen and J. Jouannaud and J. Meseguer},
  booktitle={POPL '85},
  year={1985}
}

K. Futatsugi, J. Goguen, +1 author J. 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… Expand

View on ACM