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

@@ Property / author @@
-Andreas Lochbihler
@@ Property / author: Andreas Lochbihler / rank @@
-Normal rank
@@ Property / author @@
+Andreas Lochbihler
@@ Property / author: Andreas Lochbihler / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/Isar
@@ Property / describes a project that uses: Isabelle/Isar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Slicing
@@ Property / describes a project that uses: Slicing / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1578467191
@@ Property / OpenAlex ID: W1578467191 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3543667