Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings Henrique Rebˆelo, Ricardo Lima, M´arcio Corn´elio, Gary T. Leavens, Alexandre Mota, C´esar Oliveira CS-TR-09-05

First Page		Document Content
Date: 2010-04-26 17:16:33		Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings Henrique Rebˆelo, Ricardo Lima, M´arcio Corn´elio, Gary T. Leavens, Alexandre Mota, C´esar Oliveira CS-TR-09-05 Add to Reading List Source URL: www.cin.ufpe.br Download Document from Source Website File Size: 170,08 KB Share Document on Facebook