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}
}
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

Citations

Publications citing this paper.
SHOWING 1-10 OF 216 CITATIONS, ESTIMATED 37% COVERAGE

591 Citations

02040'85'92'00'08'16
Citations per Year
Semantic Scholar estimates that this publication has 591 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…