Raspadori, Enrico
(2010)
Modellazione della famiglia di linguaggi SOS.
[Laurea], Università di Bologna, Corso di Studio in
Informatica [L-DM509]
Documenti full-text disponibili:
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
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.
Tipologia del documento
Tesi di laurea
(Laurea)
Autore della tesi
Raspadori, Enrico
Relatore della tesi
Correlatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM509
Parole chiave
Semantica operazionale strutturale sintassi
Data di discussione della Tesi
21 Dicembre 2010
URI
Altri metadati
Tipologia del documento
Tesi di laurea
(Tesi di laurea triennale)
Autore della tesi
Raspadori, Enrico
Relatore della tesi
Correlatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM509
Parole chiave
Semantica operazionale strutturale sintassi
Data di discussione della Tesi
21 Dicembre 2010
URI
Statistica sui download
Gestione del documento:
Login