Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL (Q3543667): Difference between revisions

@@ Property / cites work @@
+Slicing for modern program structures: a theory for eliminating irrelevant loops
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic slicing: a generic analysis based on a natural semantics format
+Normal rank
@@ Property / cites work @@
+Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855368
@@ Property / cites work: Q4855368 / rank @@
+Normal rank