Interprocedural Analysis of Concurrent Programs Under a Context Bound (Q5458333): Difference between revisions

From MaRDI portal
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-540-78800-3_20 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1545371423 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reachability analysis of pushdown automata: Application to model-checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science / rank
 
Normal rank
Property / cites work
 
Property / cites work: A generic approach to the static analysis of concurrent programs with procedures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2005 – Concurrency Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the regular structure of prefix rewriting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tools and Algorithms for the Construction and Analysis of Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4223067 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3862379 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the analysis of interacting pushdown systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abstract Error Projection / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interprocedural Analysis of Concurrent Programs Under a Context Bound / rank
 
Normal rank
Property / cites work
 
Property / cites work: Precise interprocedural analysis through linear algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4255591 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tools and Algorithms for the Construction and Analysis of Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Precise interprocedural dataflow analysis with applications to constant propagation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weighted pushdown systems and their application to interprocedural dataflow analysis / rank
 
Normal rank

Latest revision as of 20:16, 27 June 2024

scientific article; zbMATH DE number 5262375
Language Label Description Also known as
English
Interprocedural Analysis of Concurrent Programs Under a Context Bound
scientific article; zbMATH DE number 5262375

    Statements

    Interprocedural Analysis of Concurrent Programs Under a Context Bound (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    11 April 2008
    0 references
    0 references
    0 references

    Identifiers