Equational rules for rewriting logic

From MaRDI portal
Publication:1608925

DOI10.1016/S0304-3975(01)00366-8zbMath1001.68058OpenAlexW2047406870MaRDI QIDQ1608925

Patrick Viry

Publication date: 13 August 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00366-8




Related Items (40)

Normalising Lustre preserves securityRewriting logic: Roadmap and bibliographyAlgebraic simulationsDeclarative Debugging of Rewriting Logic SpecificationsSpecification and analysis of the AER/NCA active network protocol suite in real-time MaudeRewriting modulo SMT and open system analysisThe rewriting logic semantics projectSemantics and pragmatics of real-time maudeOptimization of rewrite theories by equational partial evaluationThe Formal System of Dijkstra and ScholtenThe rewriting logic semantics project: a progress reportTwenty years of rewriting logicOn the Church-Rosser and coherence properties of conditional order-sorted rewrite theoriesDeclarative debugging of rewriting logic specificationsSymbolic Specialization of Rewriting Logic Theories with PrestoOptimizing Maude programs via program specializationEffectively Checking the Finite Variant PropertyVerifying hierarchical Ptolemy II discrete-event models using real-time maudeA formal library of set relations and its application to synchronous languagesTheorem proving moduloEquational abstractionsMechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer ToolStrict coherence of conditional rewriting modulo axiomsA Rewriting-Based Model Checker for the Linear Temporal Logic of RewritingVariant Narrowing and Equational UnificationProving operational termination of membership equational programsFormalization and correctness of the PALS architectural pattern for distributed real-time systemsLanguage definitions as rewrite theoriesFormal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time MaudeGeneralized rewrite theories, coherence completion, and symbolic methodsA partial evaluation framework for order-sorted equational programs modulo axiomsA rewriting logic approach to operational semanticsThe Rewriting Logic Semantics Project: A Progress ReportSimulation and Verification of Synchronous Set Relations in Rewriting LogicTermination Modulo Combinations of Equational TheoriesA rewriting logic approach to specification, proof-search, and meta-proofs in sequent systemsExecutable rewriting logic semantics of Orc and formal analysis of Orc programsPartial Order Reduction for Rewriting Semantics of Programming LanguagesNarrowing and Rewriting Logic: from Foundations to ApplicationsSymbolic computation in Maude: some tapas


Uses Software


Cites Work


This page was built for publication: Equational rules for rewriting logic