Modellazione della famiglia di linguaggi SOS
| Contribuinte(s) |
Martini, Simone |
|---|---|
| Data(s) |
21/12/2010
|
| Resumo |
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. |
| Formato |
application/pdf |
| Identificador |
http://amslaurea.unibo.it/1628/1/enrico_raspadori_tesi.pdf Raspadori, Enrico (2010) Modellazione della famiglia di linguaggi SOS. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509] <http://amslaurea.unibo.it/view/cds/CDS0099/> |
| Relação |
http://amslaurea.unibo.it/1628/ |
| Direitos |
info:eu-repo/semantics/openAccess |
| Palavras-Chave | #Semantica operazionale strutturale sintassi #scuola :: 843899 :: Scienze #cds :: 0099 :: Informatica [L-DM509] #sessione :: seconda |
| Tipo |
PeerReviewed |
