Bidirectional Translation between a C-like Language and an Imperative \lambda-calculus
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Adrien Guatto : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04859522
Soumis le : lundi 30 décembre 2024-15:34:53
Dernière modification le : mardi 31 décembre 2024-03:40:57