A flow-insensitive-complete program representation (Q2152650): Difference between revisions

@@ Property / describes a project that uses @@
+PAGAI
@@ Property / describes a project that uses: PAGAI / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sawja
@@ Property / describes a project that uses: Sawja / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-94583-1_10
+Normal rank
@@ Property / OpenAlex ID @@
+W4205784628
@@ Property / OpenAlex ID: W4205784628 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Sawja: Static Analysis Workshop for Java
@@ Property / cites work: Sawja: Static Analysis Workshop for Java / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068060
@@ Property / cites work: Q4068060 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction of Optional Numerical Values
@@ Property / cites work: Abstraction of Optional Numerical Values / rank @@
+Normal rank
@@ Property / cites work @@
+Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2152650