The SyDPaCC Framework. SDPP is a framework for Systematic Development of Parallel Programs. We use the Coq proof assistant for systematically derive Bulk Synchronous Parallel ML (or BSML) programs.
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Emoto, Kento; Loulergue, Frédéric; Tesson, Julien: A verified generate-test-aggregate Coq library for parallel programs extraction (2014)