C'est le bout du compilateur qui va faire de la backpropagation depuis les assertion pour vérifier si les entrées sont correctement filtrés ?
Le truc qui pourra manipuler le dénombrement des ensembles comme dans cduce pour vérifier des choses comme l'empreinte mémoire maximum et pour permètre des optimisations de code ?
# prouveur ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le projet Isaac cherche un thésard (bourse de thèse). Évalué à 2.
Le truc qui pourra manipuler le dénombrement des ensembles comme dans cduce pour vérifier des choses comme l'empreinte mémoire maximum et pour permètre des optimisations de code ?
"La première sécurité est la liberté"