Bundled VM artifact to accompany paper entitled SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap

Name: Bundled VM artifact to accompany paper entitled SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap
Published: 2026-04-04T03:42:49+08:00

IU DataCORE2026-04-04 收录

编程语言并发模型

函数式语言验证

数据链接：

https://datacore.iu.edu/concern/data_sets/sq87bw01d?locale=en 数据链接链接失效反馈

官方服务：

资源简介：

Bundled VM artifact to accompany paper entitled SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap

Bundled VM artifact to accompany paper entitled SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap

资源简介：

相关数据集