Combining dynamic and static slicing for analysing assembler (Q2266945): Difference between revisions

@@ Property / DOI @@
-.1016/j.scico.2009.11.001
@@ Property / DOI: 10.1016/j.scico.2009.11.001 / rank @@
-Normal rank
@@ Property / cites work @@
+Proving total correctness of nondeterministic programs in infinitary logic
+Normal rank
@@ Property / cites work @@
+Algorithms for computing the static single assignment form
+Normal rank
@@ Property / cites work @@
+Flow diagrams, turing machines and languages with only two formation rules
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Portability by automatic translation: A large-scale case study
+Normal rank
@@ Property / cites work @@
+Dynamic program slicing
@@ Property / cites work: Dynamic program slicing / rank @@
+Normal rank
@@ Property / cites work @@
+The 3x + 1 Problem and Its Generalizations
@@ Property / cites work: The 3x + 1 Problem and Its Generalizations / rank @@
+Normal rank
@@ Property / cites work @@
+Pigs from sausages? Reengineering from assembler to C via FermaT transformations
+Normal rank
@@ Property / cites work @@
+Combining dynamic and static slicing for analysing assembler
+Normal rank
@@ Property / cites work @@
+Program Slicing
@@ Property / cites work: Program Slicing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484349
@@ Property / cites work: Q4484349 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.SCICO.2009.11.001
@@ Property / DOI: 10.1016/J.SCICO.2009.11.001 / rank @@
+Normal rank