Algebraic Methodology and Software Technology
From MaRDI portal
Publication:5312993
DOI10.1007/B98770zbMATH Open1108.68401OpenAlexW2973096144MaRDI QIDQ5312993FDOQ5312993
Authors: José Meseguer, Christiano Braga 
Publication date: 25 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98770
Recommendations
- Modular rewriting semantics in practice
- scientific article; zbMATH DE number 1231677
- A rewriting logic semantics approach to modular program analysis
- Modularity in noncopying term rewriting
- Modularity in term rewriting revisited
- scientific article; zbMATH DE number 1231580
- Modular properties of composable term rewriting systems
- Modular term rewriting systems and the termination
- Modular extensions for modular (logic) languages
Cited In (24)
- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- Synchronous products of rewrite systems
- The rewriting logic semantics project
- A rewriting logic approach to operational semantics
- Pattern eliminating transformations
- Modular programming languages. Joint modular languages conference, JMLC 2003, Klagenfurt, Austria, August 25--27, 2003. Proceedings.
- SOS formats and meta-theory: 20 years after
- Modular design of domain-specific languages using splittings of catamorphisms
- Modular rewriting semantics in practice
- Language definitions as rewrite theories
- Modular structural operational semantics
- Implicit propagation in structural operational semantics
- Executable structural operational semantics in Maude
- From rewriting logic, to programming language semantics, to program verification
- From standard to non-standard semantics by semantics modifiers
- Specification of logic programming languages from reusable semantic building blocks
- Title not available (Why is that?)
- Modular multiset rewriting
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- A rewriting logic approach to operational semantics (extended abstract)
- Modular structural operational semantics with strategies
- Title not available (Why is that?)
- Mapping modular SOS to rewriting logic
Uses Software
This page was built for publication: Algebraic Methodology and Software Technology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312993)
