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}
}
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
560 Citations
IS-RR-96-0024 S 1 Logical Semantics for CafeOBJ
  • PDF
Software Engineering with OBJ
  • 45
An Introduction to OBJ 3
  • 96
An Implementation of Narrowing
  • 24
THE REWRITE RULE MACHINE, 1988
  • 7
  • PDF
Design Strategies for Rewrite Rules
  • 13
Extensions and foundations of object-oriented programming
  • 11
...
1
2
3
4
5
...