文章基本信息

标题：Program Optimization Using Abstract State Machines
本地全文：下载
作者：Sofonea, Gabriel ; Cristescu, Marian Pompiliu ; Ciovica, Laurentiu 等
期刊名称：Informatica Economica
印刷版ISSN：1453-1305
出版年度：2006
卷号：X
期号：4
页码：44-48
出版社：Academy of Economic Studies - Bucharest, Romania
摘要：Usually the result code of source code by a compiler is not necessary the best one, and can be improved to run faster or to use less memory. This kind of improvement is done in compiling phase after parsing. Some good techniques in optimization are in folding the constants, elimination of dead code, or improvement of the loops. Here it is considered the runtime overhead and present how can this be improved. The source is specific for objectoriented languages with late binding, where a name of method to be called is bound to method dynamically. It increases the computation time by a cost of traversing the class hierarchy each time a method is called.
关键词：optimization; abstract state machine (evolving algebra); class annotation