Il sistema LEDA: applicazioni ed estensioni con primitive insiemistiche
Autore
Sebastiano Battiato - Università degli Studi di Catania - [1994-95]
Documenti
Abstract
Il sistema LEDA, oramai affermatosi in campo universitario come utile tool di sviluppo e di analisi di algoritmi, viene qui introdotto attraverso una chiara e semplice guida all'installazione e all'utilizzo della stessa. La tesi è corredata da esempi applicativi, sia nel settore specifico della computer graphic che della logica insiemistica, dove fra l'altro sono stati implementati ed introdotti nuovi tipi di dato tipici di linguaggi di alto livello (SETL2).
Questa tesi è correlata alla categoria