Stream: coq-community devs & users

Topic: Parallel programming


view this post on Zulip Bas Spitters (Nov 17 2020 at 15:21):

Generating correct parallel ocaml programs from Coq. Maintenance seems to have stalled. Does anyone know more?
Are there superior solutions?
https://link.springer.com/article/10.1007/s10766-016-0415-8
https://www.univ-orleans.fr/lifo/traclifo/BSML/
https://github.com/SyDPaCC/sydpacc


Last updated: Feb 05 2023 at 14:02 UTC