ETD

Digital archive of theses discussed at the University of Pisa

 

Thesis etd-04132014-183803

Link copiato negli appunti
Thesis type
Tesi di laurea magistrale
Author
SACCO, COSIMO
URN
etd-04132014-183803
Thesis title
Generation of concurrent code from Labelled Transition Systems
Department
INGEGNERIA DELL'INFORMAZIONE
Course of study
INGEGNERIA INFORMATICA
Supervisors
relatore Prof. Ancilotti, Paolo
correlatore Prof. Domenici, Andrea
Keywords
  • algebra
  • process
  • generation
  • model
  • formal
  • verification
  • validation
  • lts
  • fsp
  • code
  • automated
Graduation session start date
08/05/2014
Availability
Full
Summary
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