| AFFELDT, R., MASUHARA, H., SUMII, E., AND YONEZAWA, A. 2002. Supporting objects in run-time bytecode specialization. ACM Press, Aizu, Japan. In the Proceedings of Asia-PEPM 2002. |
....between partial evaluation and covariant specialization: in both cases, the domain of the entity that is being specialized is restricted. Nevertheless, existing work in partial evaluation for object oriented languages has failed to bridge the gap between inheritance and partial evaluation [3, 21, 35, 46, 45, 47], and the degree of specialization that can be performed by using these techniques is constrained by the existing class hierarchy. In this paper we present the unification of inheritance and partial evaluation in a new language, Lapis. The key concept in Lapis is that conceptual classification ....
....with simplicity of use, in order to make 10 the semantics of the language easy to understand for the programmer. In particular, since partial evaluation for object oriented languages normally requires expensive and complicated static analyses to determine how the program can be specialized [3, 44, 47, 46], limitations have been imposed on the specialization process. The specialization performed automatically by Lapis is highly aggressive, can give a massive increase in code size, and is not guaranteed to terminate. Thus, the programmer must carefully control the amount of specialization ....
[Article contains additional citation context not shown here]
R. A#eldt, H. Masuhara, E. Sumii, and A. Yonezawa. Supporting objects in runtime bytecode specialization. Aizu, Japan, 2002. ACM Press. To appear in the proceedings of Asia-PEPM 2002.
No context found.
AFFELDT, R., MASUHARA, H., SUMII, E., AND YONEZAWA, A. 2002. Supporting objects in run-time bytecode specialization. ACM Press, Aizu, Japan. In the Proceedings of Asia-PEPM 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC