Optimization of Straight Line Programs

作     者：Alfred V. Aho Jeffrey D. Ullman 

出 版 物：《SIAM Journal on Computing》 

年 卷 期：1972年第1卷第1期

页      面：1-19页

学科分类：07[理学] 070104[理学-应用数学] 0701[理学-数学] 

主　　题：Programming theory code optimization straight line programs optimizing transformations 

摘      要：We provide a set of transformations capable of transforming a straight line program into any other equivalent one assuming no algebraic laws hold. We then show that optimization of straight line code under “reasonable cost criteria can always be accomplished by applying sequences of these transformations in a prescribed order.