A concurrency model based on monadic interpreters: executable semantics for a concurrent subset of LLVM IR - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2024

A concurrency model based on monadic interpreters: executable semantics for a concurrent subset of LLVM IR

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
muir-draft.pdf (701.93 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Yannick Zakowski  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04594073

Soumis le : jeudi 30 mai 2024-11:46:46

Dernière modification le : mardi 12 novembre 2024-16:00:02

Télécharger pour visualiser

Dates et versions

hal-04594073 , version 1 (30-05-2024)

Identifiants

  • HAL Id : hal-04594073 , version 1

Citer

Nicolas Chappe, Ludovic Henrio, Yannick Zakowski. A concurrency model based on monadic interpreters: executable semantics for a concurrent subset of LLVM IR. 2024. ⟨hal-04594073⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 INRIA2 UDL
54 Consultations
178 Téléchargements

Partager

More