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

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⟩
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More