Rewriting Logic as a Logical and Semantic Framework1 1This paper is a short version of [36], where the reader can find more examples and details not discussed here.-Reference-Cited by-同舟云学术

Rewriting Logic as a Logical and Semantic Framework1 1This paper is a short version of [36], where the reader can find more examples and details not discussed here.

Published:1996 Issue: Volume:4 Page:190-225
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Martí-Oliet Narciso,Meseguer José

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference58 articles.

1. Explicit substitutions;Abadi;Journal of Functional Programming,1991

2. L. Bachmair, H. Ganzinger, C. Lynch, and W. Snyder, Basic paramodulation and superposition, in: D. Kapur, ed., Proc. 11th. Int. Conf. on Automated Deduction, Saratoga Springs, NY (LNAI 607, Springer-Verlag, 1992) 462–476.

3. Metalogical frameworks;Basin,1993

4. J. Bergstra and J. Tucker, Characterization of computable data types by means of a finite equational specification method, in: J. W. de Bakker and J. van Leeuwen, eds., Proc. 7th. Int. Colloquium on Automata, Languages and Programming (LNCS 81, Springer-Verlag, 1980) 76–90.

5. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and M. Vittek, ELAN: A logical framework based on computational systems, in: J. Meseguer, ed., Proc. First Int. Workshop on Rewriting Logic and its Applications (ENTCS 4, Elsevier, 1996) [This volume].

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

1. Modelling and Verifying Programs Under the Total Store Order Memory Model in an Algebraic Semantics Style;Lecture Notes in Computer Science;2024

2. SpeX: A Rewriting-Based Formal Specification Environment;Recent Trends in Algebraic Development Techniques;2023

3. A probabilistic approximate logic for neuro-symbolic learning and reasoning;Journal of Logical and Algebraic Methods in Programming;2022-01

4. A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration;Journal of Systems Architecture;2020-11

5. Design Patterns Formal Composition and Analysis;International Journal of Information Technologies and Systems Approach;2019-07