Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis (Q3512480): Difference between revisions

@@ Property / cites work @@
+Q2753756
@@ Property / cites work: Q2753756 / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
+Normal rank
@@ Property / cites work @@
+Interprocedural Analysis of Concurrent Programs Under a Context Bound
+Normal rank
@@ Property / cites work @@
+Precise interprocedural analysis through linear algebra
+Normal rank
@@ Property / cites work @@
+Summarizing procedures in concurrent programs
@@ Property / cites work: Summarizing procedures in concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Precise interprocedural dataflow analysis with applications to constant propagation
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank