A Static Analyzer for Model Transformations

In order to have reliable automated code transformations, we work with the AST representation of code instead of manip- ulating source code itself in the left-hand side and

Then, in order to delete the delegation of the business code to the dummy methods: first, replace any invocation of dummy methods appearing in the composite classes by the

To prove these results with a denotational analysis, our magic-sets transformation builds new magic blocks of code whose functional behaviours are the internal behaviours just after

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

Spoon provides a unique blend of features: a Java metamodel dedicated to analysis and transformation; a powerful intercession API; static checking of transformations using

Astr´ ee being focused on synchronous, statically scheduled reactive programs, we used that peculiar form of the program to be analyzed in order to design a very sim- ple,

On the other hand, if the transformation tool maintains a link relating each port to a port in a target model, then a property like the correctness of a Goto-From removal can