Daniele Nantes-Sobrinho

Un metodo per garantire la correttezza del software attraverso un'analisi strutturata.

Esplora il ruolo dell'algebra nominale nella gestione dei nomi e dei binding nella programmazione.

Capire il non-determinismo tipizzato e il suo impatto sulla gestione delle risorse in informatica.