Comparing Meseguer's rewriting logic with the logic CRWL

Electronic Notes in Theoretical Computer Science

Volumn 64, Issue , 2002, Pages 255-276

  Palomino Tarjuelo, Miguel ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; ENCODING (SYMBOLS); LOGIC DESIGN; LOGIC PROGRAMMING; SEMANTICS; SYNTACTICS;

CONSTRUCTOR-BASED REWRITING LOGIC (CRWL); FIRST ORDER LOGIC; INTUITIONISTIC LOGIC; LINEAR LOGIC;

FORMAL LOGIC;

EID: 11244346167     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80354-2     Document Type: Conference Paper

References (18)

1. Arenas-Sánchez P., Rodríguez-Artalejo M. A general framework for lazy functional logic programming with algebraic polymorphic types. Theory and Practice of Logic Programming. 1:2001;185-245
2. Cengarle, M. V., The rewriting logic institution, Technical Report 9801, Ludwig-Maximilians-Universität München, Institut für Informatik (1998).
3. Clavel M., "Reflection in General Logics and in Rewriting Logic, with Applications to the Maude Language," Ph.D. thesis, Universidad de Navarra, Spain (1998).
4. Clavel M. "Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications," CSLI Publications. 2000
5. Clavel M., Durán F., Eker S., Lincoln P., Martí-Oliet N., Meseguer J., Quesada J.F. Maude: Specification and programming in rewriting logic. Theoretical Computer Science. 2002;. to appear
6. Clavel M., Meseguer J. Reflection in conditional rewriting logic. Theoretical Computer Science. 2002;. to appear
7. Diaconescu R., Futatsugi K. Logical foundations of CafeOBJ. Theoretical Computer Science. 2002;. to appear
8. Durán, F., "A Reflective Module Algebra with Applications to the Maude Language," Ph.D. thesis, Universidad de Málaga, Spain (1999), http://maude.csl.sri.com.papers.
9. Goguen J., Burstall R. Institutions: Abstract model theory for specification and Programming. Journal of the Association for Computing Machinery. 39:1992;95-146
10. González-Moreno J.C., Hortalá-González M.T., López-Fraguas F.J., Rodríguez-Artalejo M. An approach to declarative programming based on a rewriting logic. Journal of Logic Programming. 40:1999;47-87
11. Lambek J. Subequalizers. Canadian Mathematical Bulletin. 13:1970;337-349
12. Meseguer J. General logics. Ebbinghaus H.-D., Fernández-Prida J., Garrido M., Lascar D., Rodríguez-Artalejo M. Logic Colloquium'87. 1989;275-329
13. Meseguer J., Rewriting as a unified model of concurrency, Technical Report SRI-CSL-90-02, SRI International, Computer Science Laboratory (1990), revised June 1990.
14. Meseguer J. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science. 96:1992;73-155
15. Meseguer J. Membership algebra as a logical framework for equational specification. Parisi-Presicce F. Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997, Selected Papers. Lecture Notes in Computer Science 1376:1998;18-61
16. Miyoshi H., Modelling Conditional Rewriting Logic in Structured Categories, in: J. Meseguer, editor, Proceedings First International Workshop on Rewriting Logic and its Applications, WRLA'96, Asilomar, California, September 3-6, 1996, Electronic Notes in Theoretical Computer Science 4 (1996), pp. 20-34, http://www.elsevier.nl/locate/entcs/volume4.html.
17. Molina-Bravo, J. M., "Modularidad en Programació Lógico-Funcional de Primer Orden," Ph.D. thesis, Universidad de Málaga, Spain (2000).
18. Palomino Tarjuelo M., "Relating Meseguer's rewriting logic with the constructor-based rewriting logic," Master's thesis, Facultad de Matemáticas, Universidad Complutense de Madrid (2001), http://maude.csl.sri.com/papers.