Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis (Q2945700): Difference between revisions

@@ Property / cites work @@
+Backward Trace Slicing for Rewriting Logic Theories
+Normal rank
@@ Property / cites work @@
+Backward Trace Slicing for Conditional Rewrite Theories
+Normal rank
@@ Property / cites work @@
+Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)
+Normal rank
@@ Property / cites work @@
+Debugging Maude programs via runtime assertion checking and trace slicing
+Normal rank
@@ Property / cites work @@
+Exploring conditional rewriting logic computations
+Normal rank
@@ Property / cites work @@
+A modular order-sorted equational generalization algorithm
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Q4447224
@@ Property / cites work: Q4447224 / rank @@
+Normal rank
@@ Property / cites work @@
+A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories
+Normal rank
@@ Property / cites work @@
+Invariant-driven specifications in Maude
@@ Property / cites work: Invariant-driven specifications in Maude / rank @@
+Normal rank
@@ Property / cites work @@
+Equality, types, modules, and (why not?) generics for logic programming
+Normal rank
@@ Property / cites work @@
+Dynamic program slicing
@@ Property / cites work: Dynamic program slicing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692876
@@ Property / cites work: Q4692876 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting logic bibliography by topic: 1990--2011
@@ Property / cites work: Rewriting logic bibliography by topic: 1990--2011 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Rewriting Modulo SMT and Open System Analysis
@@ Property / cites work: Rewriting Modulo SMT and Open System Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+From Rewriting Logic, to Programming Language Semantics, to Program Verification
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank