WhyBSML 0.2 - Archive ouverte HAL

Documentation
French (FR)

English (EN)

Software Year : 2024

WhyBSML 0.2

(1) , (1)

1

Frédéric Loulergue

Function : Author
PersonId : 2199
IdHAL : frederic-loulergue
ORCID : 0000-0001-9301-7829
IdRef : 096178558

Langages, Modèles et Vérification

Olivia Proust

Function : Author

Langages, Modèles et Vérification

Keywords

OCaml Bulk synchronous parallelism Scalable parallel computing Functional programming Deductive verification Why3

Domains

Computer Science [cs]

Frédéric Loulergue : Connect in order to contact the contributor

https://hal.science/hal-04556201

Submitted on : Monday, June 10, 2024-5:00:53 PM

Last modification on : Wednesday, June 12, 2024-3:15:18 AM

Dates and versions

hal-04556201 , version 1 (23-04-2024)

hal-04556201 , version 2 (10-06-2024)

Identifiers

HAL Id : hal-04556201 , version 2
DOI : 10.5281/zenodo.11197228
SWHID : swh:1:dir:f3889ab751233d7ccb812d6e31cc074452b5e139;origin=https://hal.archives-ouvertes.fr/hal-04556201;visit=swh:1:snp:eb9686bbb19def3cd7e40be139923aa5270faed8;anchor=swh:1:rel:0040e1fae30354391bea7e4b4fc245556353fd87;path=/

version : 0.2
Software License : GNU General Public License v3.0 only
Programming Language : WhyML , OCaml
Code Repository : https://github.com/whybsml/whybsml

Cite

Frédéric Loulergue, Olivia Proust. WhyBSML 0.2. 2024, ⟨swh:1:dir:f3889ab751233d7ccb812d6e31cc074452b5e139;origin=https://hal.archives-ouvertes.fr/hal-04556201;visit=swh:1:snp:eb9686bbb19def3cd7e40be139923aa5270faed8;anchor=swh:1:rel:0040e1fae30354391bea7e4b4fc245556353fd87;path=/⟩. ⟨hal-04556201v2⟩

Export

format_codemeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ORLEANS INSA-GROUPE INSA-CVL

64 View

6 Download

Altmetric

Share