Inspecting rewriting logic computations (in a parametric and stepwise way)

DOI10.1007/978-3-642-54624-2_12zbMATH Open1407.68097DBLPconf/birthday/AlpuenteBFS14OpenAlexW2109540130WikidataQ57978126 ScholiaQ57978126MaRDI QIDQ5403072FDOQ5403072

Authors: María Alpuente, D. Ballis, Francisco Frechina, Julia Sapiña 

Publication date: 25 March 2014

Published in: Specification, Algebra, and Software (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10251/47179

Recommendations

• Exploring conditional rewriting logic computations
• Backward trace slicing for rewriting logic theories
• Backward trace slicing for conditional rewrite theories
• Trace rewriting systems
• Parametric Trace Slicing and Monitoring

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Cites Work

• Conditional rewriting logic as a unified model of concurrency
• Semantic foundations for generalized rewrite theories
• The origins of structural operational semantics
• Title not available (Why is that?)
• Rewriting logic: Roadmap and bibliography
• Title not available (Why is that?)
• Backward trace slicing for conditional rewrite theories
• Declarative Debugging of Rewriting Logic Specifications
• Title not available (Why is that?)
• A Maude coherence checker tool for conditional order-sorted rewrite theories
• Declarative debugging of missing answers for Maude
• The Temporal Logic of Rewriting: A Gentle Introduction
• Backward trace slicing for rewriting logic theories

Cited In (8)

• Debugging Maude programs via runtime assertion checking and trace slicing
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis
• Backward trace slicing for rewriting logic theories
• Combining runtime checking and slicing to improve Maude error diagnosis
• A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules
• Exploring conditional rewriting logic computations
• Backward trace slicing for conditional rewrite theories

Uses Software

• Maude
• ChC 3
• iJulienne
• DDebugger
• Web-TLR
• Anima

This page was built for publication: Inspecting rewriting logic computations (in a parametric and stepwise way)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5403072)