Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic-Reference-Cited by-同舟云学术

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

Published:2007-03 Issue:1-2 Volume:373 Page:70-91
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Clavel Manuel,Meseguer José,Palomino Miguel

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference54 articles.

1. K. Asai, Reflecting on the metalevel interpreter written in direct style, in: International Lisp Conference 2003, ILC 2003, http://pllab.is.ocha.ac.jp/~asai/papers/papers.html

2. Specifying and checking fault-tolerant agent-based protocols using Maude;Baalen,2000

3. Reflective metalogical frameworks;Basin;ACM Transactions on Computational Logic,2004

4. ELAN from a rewriting logic point of view;Borovanský;Theoretical Computer Science,2002

5. Specification and proof in membership equational logic;Bouhoula;Theoretical Computer Science,2000

Cited by 30 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Equivalence, and Property Internalization and Preservation for Equational Programs;Lecture Notes in Computer Science;2024

2. Building Correct-by-Construction Systems with Formal Patterns;Recent Trends in Algebraic Development Techniques;2023

3. Metalevel transformation of strategies;Journal of Logical and Algebraic Methods in Programming;2022-01

4. Symbolic Computation in Maude: Some Tapas;Logic-Based Program Synthesis and Transformation;2021

5. Programming and symbolic computation in Maude;Journal of Logical and Algebraic Methods in Programming;2020-01