Tesi etd-04132014-183803 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea magistrale
Autore
SACCO, COSIMO
URN
etd-04132014-183803
Titolo
Generation of concurrent code from Labelled Transition Systems
Dipartimento
INGEGNERIA DELL'INFORMAZIONE
Corso di studi
INGEGNERIA INFORMATICA
Relatori
relatore Prof. Ancilotti, Paolo
correlatore Prof. Domenici, Andrea
correlatore Prof. Domenici, Andrea
Parole chiave
- algebra
- automated
- code
- formal
- fsp
- generation
- lts
- model
- process
- validation
- verification
Data inizio appello
08/05/2014
Consultabilità
Completa
Riassunto
This work illustrates the codegen code generator. Code generation is seen as incremental information refinement carried out by specialized modules. FSP specifications are translated into LTS models, which are verified, validated and transformed into suitable internal representations. A Java back-end module implementing template-based code generation techniques is provided. Multiple back-ends can be added to support several target languages.
File
| Nome file | Dimensione |
|---|---|
| thesis.pdf | 970.94 Kb |
Contatta l’autore |
|