Dynamic slicing of lazy functional programs based on redex trails (Q2271904): Difference between revisions

@@ Property / cites work @@
+Operational semantics for declarative multi-paradigm languages
+Normal rank
@@ Property / cites work @@
+Static Slicing of Rewrite Systems
@@ Property / cites work: Static Slicing of Rewrite Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The program dependence graph and its use in optimization
+Normal rank
@@ Property / cites work @@
+Higher-order narrowing with definitional trees
@@ Property / cites work: Higher-order narrowing with definitional trees / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic program slicing
@@ Property / cites work: Dynamic program slicing / rank @@
+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 @@
+Dynamic slicing of lazy functional programs based on redex trails
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763389
@@ Property / cites work: Q2763389 / rank @@
+Normal rank
@@ Property / cites work @@
+Program Slicing
@@ Property / cites work: Program Slicing / rank @@
+Normal rank