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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2007.01.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2108486698
@@ Property / OpenAlex ID: W2108486698 / rank @@
+Normal rank
@@ 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