Principles of Maude

Bergstra, 1980, Characterization of computable data types by means of a finite equational specification method, Volume 81, 76 P. Borovanský, C. Kirchner, and H. Kirchner. Controlling rewriting by rewriting. This volume. Adel Bouhoula, Jean-Pierre Jouannaud, and José Meseguer. Specification and proof in membership equational logic. Manuscript, SRI International, August 1996. Rod Burstall and Joseph Goguen. The semantics of Clear, a specification language. In Dines Bjorner, editor, Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, pages 292–332. Springer LNCS 86, 1980. Mani, 1988 A. Ciampolini, E. Lamma, P. Mello, and C. Stefanelli. Distributed logic objects: a fragment of rewriting logic and its implementation. This volume. Manuel G. Clavel and José Meseguer. Reflection and strategies in rewriting logic. This volume. Manuel G. Clavel and José Meseguer. Axiomatizing reflective logics and languages. In Gregor Kiczales, editor, Proceedings of Reflection'96, San Francisco, California, April 1996, pages 263–288. Xerox PARC, 1996. Steven Eker. Fast matching in combination of regular equational theories. This volume. K. Futatsugi and T. Sawada. Cafe as an extensible specification environment. In Proc. of the Kunming International CASE Symposium, Kunming, China, November, 1994. J. A. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ3. Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International, March 1992. Kirchner, 1995, Designing constraint logic programming languages using computational systems, 133 Simon Lam, 1990, A relational notation for state transition systems, IEEE Transactions on Software Engineering, SE-16, 755 Patrick Lincoln, Narciso Martí-Oliet, and José Meseguer. Specification, transformation, and programming of concurrent systems in rewriting logic. In G.E. Blelloch, K.M. Chandy, and S. Jagannathan, editors, Specification of Parallel Algorithms, pages 309–339. DIMACS Series, Vol. 18, American Mathematical Society, 1994. Narciso Martí-Oliet and José Meseguer. Rewriting logic as a logical and semantic framework. Technical Report SRI-CSL-93-05, SRI International, Computer Science Laboratory, August 1993. To appear in D. Gabbay, ed., Handbook of Philosophical Logic, Kluwer Academic Publishers. José Meseguer. Membership algebra. Lecture at the Dagstuhl Seminar on “Specification and Semantics,” July 9, 1996. Extended version in preparation. José Meseguer. A logical theory of concurrent objects. In ECOOP-OOPSLA '90 Conference on Object-Oriented Programming, Ottawa, Canada, October 1990, pages 101–115. ACM, 1990. José Meseguer. Rewriting as a unified model of concurrency. Technical Report SRI-CSL-90-02, SRI International, Computer Science Laboratory, February 1990. Revised June 1990. Meseguer, 1992, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, 96, 73, 10.1016/0304-3975(92)90182-F Meseguer, 1993, A logical theory of concurrent objects and its realization in the Maude language, 314 José Meseguer. Solving the inheritance anomaly in concurrent object-oriented programming. In Oscar M. Nierstrasz, editor, Proc. ECOOP'93, pages 220–246. Springer LNCS 707, 1993. José Meseguer. Rewriting logic as a semantic framework for concurrency: a progress report. In Proceedings of the CONCUR '96 Conference, Pisa, August 1996. Springer LNCS, 1996. Meseguer, 1993, Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems, Information and Computation, 103, 114, 10.1006/inco.1993.1016 José Meseguer and Timothy Winkler. Parallel programming in Maude. In J.-P. Banâtre and D. Le Mètayer, editors, Research Directions in High-level Parallel Programming Languages, pages 253–293. Springer LNCS 574, 1992. Also Technical Report SRI-CSL-91-08, SRI International, Computer Science Laboratory, November 1991. C. L. Talcott. An actor rewrite theory. This volume. P. Viry. Rewriting: An effective model of concurrency. In C. Halatsis et al., editors, PARLE'94, Proc. Sixth Int. Conf. on Parallel Architectures and Languages Europe, Athens, Greece, July 1994, volume 817 of LNCS, pages 648–660. Springer-Verlag, 1994