Author:
Goguen Joseph,Kirchner Claude,Kirchner Hélène,Mégrelis Aristide,Meseguer José,Winkler Timothy
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. C. Cavenathi, M. De Zanet, and Giancarlo Mauri. MC-OBJ: a C Interpreter for OBJ. Technical Report Draft, Dipmentarto Scienze dell'Informazione, Universita de Milano, 1987.
2. Derek Coleman, Robin Gallimore, and Victoria Stavridou. The design of a rewrite rule interpreter from algebraic specifications. IEEE Software Engineering Journal, July:95–104, 1987.
3. Kokichi Futatsugi, Joseph Goguen, Jean-Pierre Jouannaud, and José Meseguer. Principles of OBJ2. In Brian Reid, editor, Proceedings of 12th ACM Symposium on Principles of Programming Languages, pages 52–66, Association for Computing Machinery, 1985.
4. Kokichi Futatsugi, Joseph Goguen, José Meseguer, and Koji Okada. Parameterized programming in OBJ2. In Robert Balzer, editor, Proceedings, Ninth International Conference on Software Engineering, pages 51–60, IEEE Computer Society Press, March 1987.
5. J.A. Goguen and J. Meseguer. Extensions and foundations of object-oriented programming. In SIGPLAN Notices, 1986.
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献