Static Slicing of Rewrite Systems (Q2873792): Difference between revisions

@@ Property / cites work @@
+Q4281615
@@ Property / cites work: Q4281615 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+The program dependence graph and its use in optimization
+Normal rank
@@ Property / cites work @@
+Eliminating dead code on recursive data.
@@ Property / cites work: Eliminating dead code on recursive data. / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+Program Slicing
@@ Property / cites work: Program Slicing / rank @@
+Normal rank