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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Emoto, Kento; Loulergue, Frédéric; Tesson, Julien: A verified generate-test-aggregate Coq library for parallel programs extraction (2014)