En gros ce papier, ce sont les bases de l'analyse de flot pour la compilation (chose qui est au coeur de Lisaac).
C'est marrant, car c'est une voie auquel on pense pour faire de la preuve de contrat sur du code Lisaac.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Non
Posté par Ontologia (site web personnel) . En réponse au journal Déterminer le domaine d'un programme. Évalué à 2.
C'est marrant, car c'est une voie auquel on pense pour faire de la preuve de contrat sur du code Lisaac.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker