Daniele Nantes-Sobrinho

Une méthode pour assurer la correction des logiciels grâce à une analyse structurée.

Explore le rôle de l'algèbre nominale dans la gestion des noms et des liaisons en programmation.

Comprendre le non-déterminisme typé et son impact sur la gestion des ressources en informatique.