A Framework for the Development of Verified Scalable Parallel Functional Languages - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

A Framework for the Development of Verified Scalable Parallel Functional Languages

Jordan Ischard
  • Fonction : Auteur
  • PersonId : 1399917

Résumé

The SyDPaCC framework supports the development of scalable parallel functional programs with the proof assistant Coq and helps the developers to write correct-by-construction programs with respect to specifications written as simple (and possibly very inefficient) functional programs. Parallel programs are built from specifications using verified program transformations offered by SyDPaCC. Leveraging Coq extraction mechanism, compilable code can be obtained and executed on shared-memory or large scale distributed memory parallel machines.
Fichier non déposé

Dates et versions

hal-04644465 , version 1 (11-07-2024)

Licence

Identifiants

  • HAL Id : hal-04644465 , version 1

Citer

Frédéric Loulergue, Jordan Ischard. A Framework for the Development of Verified Scalable Parallel Functional Languages. Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Oct 2024, Crete Island, Greece. ⟨hal-04644465⟩
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More