Optimizing JML Feature Compilation in Ajmlc Using Aspect-Oriented Refactorings

Henrique RebêloGary T. LeavensRicardo LimaMárcio CornélioAlexandre MotaCésar Oliveira

In previous work we presented a new JML compiler, ajmlc, which generates aspects that enforce preconditions, postconditions, and invariants. Although this compiler provides benefits of source-code modularity and good bytecode size and running time, there is still a need for optimization of the generated code’s bytecode size and running time. To do this optimization while preserving the semantics of the resulting code, we use refactorings based on AspectJ programming laws. To this end we present optimization refactorings and an empirical analysis showing the resulting improvements.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: