Geodesic
Code optimizations for size based on architecture transformations
Fundamentalʹnaâ i prikladnaâ matematika, Tome 14 (2008) no. 4, pp. 193-212 
Yu. S. Rassokhin. Code optimizations for size based on architecture transformations. Fundamentalʹnaâ i prikladnaâ matematika, Tome 14 (2008) no. 4, pp. 193-212. http://geodesic.mathdoc.fr/item/FPM_2008_14_4_a12/
@article{FPM_2008_14_4_a12,
     author = {Yu. S. Rassokhin},
     title = {Code optimizations for size based on architecture transformations},
     journal = {Fundamentalʹna\^a i prikladna\^a matematika},
     pages = {193--212},
     year = {2008},
     volume = {14},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/FPM_2008_14_4_a12/}
}
TY  - JOUR
AU  - Yu. S. Rassokhin
TI  - Code optimizations for size based on architecture transformations
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 2008
SP  - 193
EP  - 212
VL  - 14
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/FPM_2008_14_4_a12/
LA  - ru
ID  - FPM_2008_14_4_a12
ER  - 
%0 Journal Article
%A Yu. S. Rassokhin
%T Code optimizations for size based on architecture transformations
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 2008
%P 193-212
%V 14
%N 4
%U http://geodesic.mathdoc.fr/item/FPM_2008_14_4_a12/
%G ru
%F FPM_2008_14_4_a12

Voir la notice de l'article provenant de la source Math-Net.Ru

The article reveals a new approach for code optimizations for size, which is based on allowing deep transformations of the source code when performing optimizations. Transformations of function signatures are described as a basis. The article contains algorithm descriptions including efficiency evaluations, examples, and appropriate use cases.

[1] Kasperski K., Tekhnika optimizatsii programm. Effektivnoe ispolzovanie pamyati, BKhV-Peterburg, SPb., 2003

[2] Fauler M., Refaktoring: uluchshenie suschestvuyuschego koda, Simvol-Plyus, SPb., 2005

[3] Muchnik S., Advanced Compiler Design and Implementation, Academic Press, 1997

[4] Muchnik S., Optimizing Compilers for Modern Architectures: A Dependence-Based Approach, Academic Press, 2002