ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-04132014-183803

Tipo di tesi

Tesi di laurea magistrale

URN

etd-04132014-183803

Titolo

Generation of concurrent code from Labelled Transition Systems

Dipartimento

INGEGNERIA DELL'INFORMAZIONE

Corso di studi

INGEGNERIA INFORMATICA

Parole chiave

algebra
automated
code
formal
fsp
generation
lts
model
process
validation
verification

Data inizio appello

08/05/2014

Consultabilità

Completa

Riassunto (Inglese)

Riassunto (Italiano)

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