Henrique Rebêlo,  Gary T. Leavens,  Ricardo Lima,  Márcio Cornélio,  Alexandre Mota,  Cé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.

http://www.lbd.dcc.ufmg.br/colecoes/sblp/2009/011.pdf

Processando consulta.