A concurrency model based on monadic interpreters: executable semantics for a concurrent subset of LLVM IR
Domaines
Langage de programmation [cs.PL]Origine | Fichiers produits par l'(les) auteur(s) |
---|
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 : samedi 1 juin 2024-03:16:49