WhyBSML 0.1 - INSA CENTRE VAL DE LOIRE
Logiciel Année : 2023

WhyBSML 0.1

Résumé

WhyBSML is a formalization of the core module of the BSML (https://bsml-lang.github.io) library, an OCaml library for scalable parallel computing, and a set of verified libraries and example application implemented with this core module.

Dates et versions

hal-04556201 , version 1 (23-04-2024)
hal-04556201 , version 2 (10-06-2024)

Identifiants

Citer

Frédéric Loulergue, Olivia Proust. WhyBSML 0.1. 2023. ⟨hal-04556201v1⟩
85 Consultations
13 Téléchargements

Altmetric

Partager

More