Duran, Adolfo; Cavalcanti, Ana; Sampaio, Augusto An algebraic approach to the design of compilers for object-oriented languages. (English) Zbl 1214.68126 Formal Asp. Comput. 22, No. 5, 489-535 (2010). MSC: 68N20 68N15 68N19 PDFBibTeX XMLCite \textit{A. Duran} et al., Formal Asp. Comput. 22, No. 5, 489--535 (2010; Zbl 1214.68126) Full Text: DOI Link
Cornélio, Márcio; Cavalcanti, Ana; Sampaio, Augusto Sound refactorings. (English) Zbl 1191.68168 Sci. Comput. Program. 75, No. 3, 106-133 (2010). MSC: 68N19 PDFBibTeX XMLCite \textit{M. Cornélio} et al., Sci. Comput. Program. 75, No. 3, 106--133 (2010; Zbl 1191.68168) Full Text: DOI