Clément Guy‎ > ‎Education‎ > ‎

Ph.D Thesis

I defended my Ph.D thesis, entitled "Facilités de typage pour l'ingénierie des langages" (Typing facilities for language engineering) on the 10th of December, 2013 to a committee composed of:
My thesis is available here (in french).
You can find below details about the Kermeta code discussed in Chapter 9 of my thesis (again, in french):
  • file "CGuy_Thèse_SSAConversion" presents the implementation of the conversion to Single Static Assignment form described in Sections 9.2 and 9.3 of my thesis;
  • file "CGuy_Thèse_GecosAdaptation" provides the pseudo Kermeta code written for the adaptation from model type GeCoS IR to model type SSA_Form which is presented in Section 9.5 of my thesis.

Conversion to Single Static Assignment form (Kermeta)