Interprocedural Analysis of Concurrent Programs Under a Context Bound (Q5458333): 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 / describes a project that uses @@
+Bebop
@@ Property / describes a project that uses: Bebop / 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-78800-3_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1545371423
@@ Property / OpenAlex ID: W1545371423 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+A generic approach to the static analysis of concurrent programs with procedures
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the regular structure of prefix rewriting
@@ Property / cites work: On the regular structure of prefix rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4223067
@@ Property / cites work: Q4223067 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+On the analysis of interacting pushdown systems
@@ Property / cites work: On the analysis of interacting pushdown systems / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Error Projection
@@ Property / cites work: Abstract Error Projection / rank @@
+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 @@
+Q4255591
@@ Property / cites work: Q4255591 / 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 @@
+Weighted pushdown systems and their application to interprocedural dataflow analysis
+Normal rank