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
Bollettino dell'Unione Matematica Italiana Serie 8 3-A (2000) —La Matematica nella Società e nella Cultura, fasc. n.1S, p. 17-19, Unione Matematica Italiana (Italian)
pdf (213 Kb), djvu (54 Kb). | Zbl 1053.68559
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 3-A (2000), n. 1S -> pp. 17-19 |
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