Modular Rewriting Semantics in Practice-Reference-Cited by-同舟云学术

Modular Rewriting Semantics in Practice

Published:2005-01 Issue: Volume:117 Page:393-416
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Braga Christiano,Meseguer José

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference42 articles.

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

2. Braga, C., “Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics,” Ph.D. thesis, Departamento de Informática, Pontifícia Universidade Católica de Rio de Janeiro, Brasil (2001)

3. Maude Action Tool: Using reflection to map action semantics to rewriting logic;Braga,2000

4. Mapping modular SOS to rewriting logic;Braga,2002

5. On the algebraic definition of programming languages;Broy;ACM Trans. on Prog. Lang. and Systems,1987

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

1. Composition of Languages, Models, and Analyses;Composing Model-Based Analysis Tools;2021

2. π;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08

3. Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion;Lecture Notes in Computer Science;2018

4. From Rewriting Logic, to Programming Language Semantics, to Program Verification;Lecture Notes in Computer Science;2015

5. The rewriting logic semantics project: A progress report;Information and Computation;2013-10