Toward a formal semantic framework for deterministic parallel programming

DOI10.1007/978-3-642-24100-0_43zbMATH Open1350.68057OpenAlexW1498246297MaRDI QIDQ3095349FDOQ3095349

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

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

Mathematics Subject Classification ID

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

Cites Work

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

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
• Title not available (Why is that?)
• Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures
• Categorical semantics of parallel program design
• Title not available (Why is that?)
• A type and effect system for determinism in multithreaded programs
• Title not available (Why is that?)

Uses Software

• Grace
• Multilisp
• Kendo

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)