Algebraic Methodology and Software Technology

DOI10.1007/B98770MaRDI QIDQ5312993zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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)

• scientific article; zbMATH DE number 1231655 (Why is no real title available?)
• The rewriting logic semantics project: a progress report
• Mapping modular SOS to rewriting logic
• 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
• scientific article; zbMATH DE number 3938530 (Why is no real title available?)
• 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

Describes a project that uses

Uses Software

• Maude
• JavaFAN

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)