On grainless footprint semantics for shared-memory programs

DOI10.1016/J.ENTCS.2014.10.005zbMATH Open1337.68060OpenAlexW2054055560WikidataQ113317851 ScholiaQ113317851MaRDI QIDQ283741FDOQ283741

Authors: Stephen Brookes 

Publication date: 13 May 2016

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

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

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)

Cites Work

• Full abstraction for a shared-variable parallel language
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Title not available (Why is that?)
• Verifying properties of parallel programs
• CONCUR 2004 - Concurrency Theory
• CONCUR 2004 - Concurrency Theory

Cited In (3)

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

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)