ChC 3
From MaRDI portal
Software:21760
No author found.
Related Items (10)
Backward Trace Slicing for Conditional Rewrite Theories ⋮ Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis ⋮ On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories ⋮ Exploring conditional rewriting logic computations ⋮ Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) ⋮ Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis ⋮ A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications ⋮ A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories ⋮ A partial evaluation framework for order-sorted equational programs modulo axioms ⋮ Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6
This page was built for software: ChC 3
