A unifying theory of control dependence and its application to arbitrary program structures (Q650921): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2152565800
@@ Property / OpenAlex ID: W2152565800 / rank @@
+Normal rank
@@ Property / cites work @@
+Slicing for modern program structures: a theory for eliminating irrelevant loops
+Normal rank
@@ Property / cites work @@
+A trajectory-based strict semantics for program slicing
+Normal rank
@@ Property / cites work @@
+Theoretical foundations of dynamic program slicing
+Normal rank
@@ Property / cites work @@
+A formal relationship between program slicing and partial evaluation
+Normal rank
@@ Property / cites work @@
+A formalisation of the relationship between forms of program slicing
+Normal rank
@@ Property / cites work @@
+A non-standard semantics for program slicing and dependence analysis
+Normal rank
@@ Property / cites work @@
+Certification of programs for secure information flow
+Normal rank
@@ Property / cites work @@
+The program dependence graph and its use in optimization
+Normal rank
@@ Property / cites work @@
+Maximum-Minimum Sätze und verallgemeinerte Faktoren von Graphen
+Normal rank
@@ Property / cites work @@
+Eliminating go to's while preserving program structure
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Program Slicing
@@ Property / cites work: Program Slicing / rank @@
+Normal rank