On grainless footprint semantics for shared-memory programs

DOI10.1016/J.ENTCS.2014.10.005MaRDI QIDQ283741zbMATHOpenAlexWikidataFDO

Authors Stephen Brookes

Publication date 13 May 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2014.10.005

zbMATH Keywords

concurrencygranularitydenotational semanticsatomicitypartial correctnessrace conditionshared memory

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• A grainless semantics for parallel programs with shared mutable data
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 3890713
• A denotational semantics for shared-memory parallelism and nondeterminism
• Semantics of Deterministic Shared-Memory Systems
• A Deadlock-Free Semantics for Shared Memory Concurrency
• Variables as resource for shared-memory programs: semantics and soundness
• Characterising and modelling shared memory accesses in multiprocessor programs
• On bounded reachability analysis of shared memory systems

Cites work

• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• CONCUR 2004 - Concurrency Theory
• CONCUR 2004 - Concurrency Theory
• Full abstraction for a shared-variable parallel language
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Verifying properties of parallel programs

Cited in

(3)

• A grainless semantics for parallel programs with shared mutable data
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Pointer race freedom

This page was built for publication: On grainless footprint semantics for shared-memory programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q283741)