Generation of a reversible semantics for Erlang in Maude
Domaines
Langage de programmation [cs.PL]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Giovanni Fabbretti : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03630407
Soumis le : mardi 5 avril 2022-08:53:22
Dernière modification le : jeudi 14 décembre 2023-13:56:06
Archivage à long terme le : mercredi 6 juillet 2022-18:05:58