Stable relations and abstract interpretation of higher-order programs
Domaines
Langage de programmation [cs.PL]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Laurent Jonchère : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02916996
Soumis le : mardi 29 septembre 2020-17:15:54
Dernière modification le : lundi 8 janvier 2024-16:21:18
Archivage à long terme le : mercredi 30 décembre 2020-19:09:32