Correctness properties in a shared-memory parallel language

DOI10.1145/602220.602224MaRDI QIDQ3455549zbMATH OpenOpenAlexFDO

Authors Gilbert Caplain

Publication date 7 December 2015

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/602220.602224

zbMATH Keywords

parallel computing

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Checking sequential correctness in shared-memory parallel programs
• Parallel algorithms and correctness in parallel programs
• Checking the performance of parallel programs with common data
• scientific article; zbMATH DE number 3907747
• Basic results in automatic transformations of shared memory parallel programs into sequential programs

Cited in

(8)

• scientific article; zbMATH DE number 4133475 (Why is no real title available?)
• Concurrent Library Correctness on the TSO Memory Model
• Semantic Correctness for a Parallel Object-Oriented Language
• Basic results in automatic transformations of shared memory parallel programs into sequential programs
• A proof of the correctness of parallel addition to a shared variable in IPCL
• Checking sequential correctness in shared-memory parallel programs
• Parallel algorithms and correctness in parallel programs
• Checking the performance of parallel programs with common data

This page was built for publication: Correctness properties in a shared-memory parallel language

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