WhyBSML 0.1 - INSA CENTRE VAL DE LOIRE Accéder directement au contenu
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)

Identifiants

Citer

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

Altmetric

Partager

Gmail Facebook X LinkedIn More