Software

Propac Software

• Proofs of parallel programs:
  • BSMLCOQ (version 0.1)
    • bsmlcoq-0.1.v
    • More d'informations

Other software

Parallel programming libraries:

• Minimally Synchronous Parallel ML (version 0.2)
  • mspml-0.2.tar.gz
  • More informations
• The BSMLlib library (version 0.25)
  • bsmllib-0.25.tar.gz
  • Reference manual: bsmllib-0.25_manual.pdf, bsmllib-0.25_manual_html.tar.gz.
  • More informations