Publications
-
Axiomatizing reflective logics and languages,
with José Meseguer. In Gregor Kiczales, editor,
Proceedings of Reflection'96, pages 263-288. Xerox PARC,
1996.
-
Reflection and strategies in rewriting logic,
with José Meseguer. In José Meseguer, editor,
Proceedings of the First International Workshop on
Rewriting Logic, volume 4 of Electronic Notes in
Theoretical Computer Science, pages 125-147. Elsevier, 1996.
-
Principles of Maude, with Steven Eker, Patrick Lincoln,
and José Meseguer. In José Meseguer, editor,
Proceedings of the First International Workshop on
Rewriting Logic, volume 4 of Electronic Notes in
Theoretical Computer Science, pages 65-89. Elsevier, 1996.
-
Internal strategies in a reflective logics, with
José Meseguer. In Bernhard Gramlich and Hélène
Kirchner, editors, Proceedings of the CADE-14 Workshop on
Strategies in Automated Deduction, pages 1-12, Townsville
(Australia), 1997.
-
Reflection in rewriting logic and its applications in the
Maude language, with José Meseguer. In
Proceedings of IMSA-97, pages 128-139. Information-Technology
Promotion Agency, Japan, 1997.
-
Current design and implementation of the Cafe Prover and
Knuth-Bendix checker tools, with José Meseguer.
Manuscript, SRI International, October, 1997.
Back to my home page
22 October 1997