Toward a formal semantic framework for deterministic parallel programming

DOI10.1007/978-3-642-24100-0_43MaRDI QIDQ3095349zbMATH OpenOpenAlexFDO

Authors Li Lu, Michael L. Scott

Publication date 28 October 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24100-0_43

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• A type and effect system for determinism in multithreaded programs
• Publication:4727404
• Safe nondeterminism in a deterministic-by-default parallel language
• Semantics of Deterministic Shared-Memory Systems
• Automatic verification of determinism for structured parallel programs

Cites work

• Chaotic relaxation
• MULTILISP: a language for concurrent symbolic computation
• Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing
• The Java memory model
• The serializability of concurrent database updates

Cited in

(10)

• A relational semantics for parallelism and non-determinism in a functional setting
• Freeze after writing, quasi-deterministic parallel programming with LVars
• Modular reasoning for deterministic parallelism
• Semantic Correctness for a Parallel Object-Oriented Language
• scientific article; zbMATH DE number 3907747 (Why is no real title available?)
• Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures
• Categorical semantics of parallel program design
• scientific article; zbMATH DE number 1424057 (Why is no real title available?)
• A type and effect system for determinism in multithreaded programs
• scientific article; zbMATH DE number 4001452 (Why is no real title available?)

Describes a project that uses

Uses Software

• Kendo
• Multilisp
• Grace

This page was built for publication: Toward a formal semantic framework for deterministic parallel programming

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