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

@@ Property / author @@
-Thomas W. Reps
@@ Property / author: Thomas W. Reps / rank @@
-Normal rank
@@ Property / author @@
+Thomas W. Reps
@@ Property / author: Thomas W. Reps / 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-540-70545-1_7
+Normal rank
@@ Property / OpenAlex ID @@
+W1554834491
@@ Property / OpenAlex ID: W1554834491 / rank @@
+Normal rank
@@ 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