Formalizing and proving semantic relations between specifications by reflection

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3116, Issue , 2004, Pages 72-86

  Clavel, Manuel ^a   Martí Oliet, Narciso ^a   Palomino, Miguel ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATIONS;

EQUATIONAL THEORY; INCLUSION RELATION; META-THEOREMS; METAREASONING; NOVEL APPLICATIONS; SEMANTIC RELATIONS; THEORETICAL DEVELOPMENT;

FORMAL SPECIFICATION;

EID: 33745464811     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27815-3_10     Document Type: Article

References (12)

1. D. Basin, M. Clavel, and J. Meseguer. Reflective metalogical frameworks. ACM Transactions on Computational Logic, 2004. To appear. http://www.acm.org/ pubs/tocl/accepted.html.
2. A. Bouhoula, J.-P. Jouannaud, and J. Meseguer. Specification and proof in membership equational logic. Theoretical Computer Science, 236:35-132, 2000.
3. M. Clavel. Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications. CSLI Publications, 2000.
4. M. Clavel. The ITP tool's Homepage, http://geminis.sip.ucm.es/ ∼clavel/itp, 2004.
5. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and programming in rewriting logic. Theoretical Computer Science, 285:187-243, 2002.
6. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. Maude Manual (Version 2.1). Manual distributed as documentation of the Maude system, http://maude.cs.uiuc.edu, 2004.
7. M. Clavel, N. Martí-Oliet, and M. Palomino. Formalizing and proving semantic relations between specifications by reflection (extended version). http://geminis. sip.ucm.es./∼clavel/pubs/pubs.html, 2004.
8. M. Clavel and J. Meseguer. Axiomatizing reflective logics and languages. In G. Kiczales, editor, Proc. Reflection'96, pages 263-288. Xerox PARC, 1996.
9. M. Clavel, J. Meseguer, and M. Palomino. Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. In F. Gadducci and U. Montanari, editors, Proc. Fourth International Workshop on Rewriting Logic and its Applications, volume 71 of Electronic Notes in Theoretical Computer Science, pages 63-78. Elsevier, 2002. http://geminis.sip.ucm. es/∼clavel/pubs/pubs.html.
10. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985.
11. J. Loeckx, H.-D. Ehrich, and M. Wolf. Specification of Abstract Data Types. J. Wiley & Sons and B.G. Teubner, 1996.
12. J. Meseguer. Membership algebra as a logical framework for equational specification. In F. Parisi-Presicce, editor, Proc. WADT'97, volume 1376 of LNCS, pages 18-61. Springer-Verlag, 1998.