The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
-
Updated
Oct 15, 2024 - Coq
#
promising-semantics
Here are 4 public repositories matching this topic...
The Coq development of local data-race-freedom guarantees in the Promising Semantics
-
Updated
Apr 9, 2022 - Coq
The Coq development of Promising 2.0 semantics for relaxed memory concurrency
-
Updated
Jul 10, 2023 - Coq
The Coq development of PLDI'22 paper "Sequantial Reasoning for Optimizing Compilers under Weak Memory Concurrency"
-
Updated
Nov 7, 2022 - Coq
Improve this page
Add a description, image, and links to the promising-semantics topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the promising-semantics topic, visit your repo's landing page and select "manage topics."