Modellazione della famiglia di linguaggi SOS

Raspadori, Enrico (2010) Modellazione della famiglia di linguaggi SOS. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]
Documenti full-text disponibili:
[thumbnail of enrico_raspadori_tesi.pdf]
Anteprima
 Documento PDF
Download (2MB) | Anteprima

Abstract

Indagine sulla varietà sintattica presente all'interno dei formalismi di specifica della semantica operazionale strutturale (SOS) di linguaggi di programmazione e calcolo di processi. Rassegna di tool di implementazione con attenzione al grado di copertura linguistica.

Abstract
Tipologia del documento
Tesi di laurea (Laurea)
Autore della tesi
Raspadori, Enrico
Relatore della tesi
Martini, Simone
Correlatore della tesi
Solmi, Riccardo
Scuola
Scienze
Corso di studio
Informatica [L-DM509]
Ordinamento Cds
DM509
Parole chiave
Semantica operazionale strutturale sintassi
Data di discussione della Tesi
21 Dicembre 2010
URI
https://amslaurea.unibo.it/id/eprint/1628

Altri metadati

Statistica sui download

Vedi altre statistiche

Gestione del documento: Visualizza il documento

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2024.

^