Dante, Baldan
Integrazione dell’interpretazione astratta in un compilatore Prolog basato sulla WAM. Appendice: Un passo verso una metodologia per lo sviluppo di programmi Mercury: una semantica dichiarativa per Mercury
Dottorato in Matematica Computazionale ed Informatica Matematica conseguito nel 2000 presso l'Università di Padova. Ciclo 10.
Relatore/i: Prof. Gilberto Filè, Università di Padova
Sunto della tesi (pubblicato sul Bollettino)
Home -> Tesi di Dottorato -> 2000 -> Baldan Dante |
La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.
Per suggerimenti o per segnalare eventuali errori, scrivete a zelati at unina dot it
Con il contributo del Ministero per i Beni e le Attività Culturali