next up previous
Next: Operational Semantics of Up: Operational Semantics of Rewriting Previous: Conclusion

References

1
Baader, F. and Nipkow, T.: Term Rewriting and All That. Cambridge University Press. 1998

2
CafeOBJ home page: http://caraway.jaist.ac.jp/cafeobj

3
Clavel, M., Eker, S., Lincoln, P. and Meseguer, J.: Principles of Maude. Proc. of the First Int'l. Workshop on Rewriting Logic and its Applications. ENTCS 4 Elsevier. (1996) 65--89

4
Futatsugi, K., Goguen, J.A., Jouannaud, J.P. and Meseguer, J.: Principles of OBJ2. Conf. Record of the Twelfth Annual ACM Sympo. on Princ. of Prog. Lang. (1985) 52--66

5
GAEA home page: http://cape.etl.go.jp/gaea

6
Goguen, J.A., Winkler, T., Meseguer, J., Futatsugi, K. and Jouannaud, J.P. : Introducing OBJ. Technical Report SRI-CSL-92-03. SRI International. 1992

7
Goguen, J.A. and Malcolm, G.: Algebraic Semantics of Imperative Programs. Foundations of Computer Series. (Eds. M. Garey and A. Meyer) The MIT Press. 1996

8
Ishikawa, H., Meseguer, J., Watanabe, T., Futatsugi, K. and Nakashima, H.: On the semantics of GAEA. Proc. of JSSST 3rd Fuji Int'l Sympo. on Functional and Logic Programming. (1998) 123--141

9
Kamperman, J.F.Th. and Walters, H.R.: Lazy Rewriting and Eager Machinery. Proc. of the Int'l. Conf. on Rewriting Techniques and Applications. LNCS 914 Springer-Verlag. (1995) 147--162

10
Koopman, P.W.M., Smetsers, J.E.W., van Eekelen, M.C.J.D. and Plasmeijer, M.J.: Graph Rewriting Using the Annotated Functional Strategy. In Term Graph Rewriting: Theory and Practice (Eds. R. Sleep, R. Plasmeijer and M. van Eekelen). John Wiley & Sons Ltd. (1993) 317--332

11
Meseguer, J.: Conditional Rewriting Logic as a Unified Model of Concurrency. Theor. Comp. Sci. 96 (1) Elsevier. (1992) 73--155



next up previous
Next: Operational Semantics of Up: Operational Semantics of Rewriting Previous: Conclusion



Kazuhiro Ogata
Mon Nov 29 13:47:22 JST 1999