Web-TLR

MaRDI QIDQ21884swMATHFDO

Official website http://arxiv.org/pdf/1108.2358v1.pdf

Cited in

(13)

• ChC 3
• iJulienne
• DDebugger
• Anima
• Julienne
• Freja
• Hat
• Hood
• Backward trace slicing for conditional rewrite theories
• Exploring conditional rewriting logic computations
• Backward trace slicing for rewriting logic theories
• Inspecting rewriting logic computations (in a parametric and stepwise way)
• Debugging Maude programs via runtime assertion checking and trace slicing

This page was built for software: Web-TLR