Supporting objects in run-time bytecode specialization

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue SEP., 2002, Pages 50-60

  Affeldt, Reynald ^a   Masuhara, Hidehiko ^a   Sumii, Eijiro ^a   Yonezawa, Akinori ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

Object oriented paradigm; Partial evaluation; Program transformation; Specialization

Indexed keywords

CODES (SYMBOLS); JAVA PROGRAMMING LANGUAGE; PROGRAM DIAGNOSTICS; REQUIREMENTS ENGINEERING; SEMANTICS; TIME SHARING PROGRAMS;

PROGRAM TRANSFORMATION; RESIDUAL CODE; RUN TIME BYTECODE; RUN TIME SPECIALIZATION SYSTEM;

OBJECT ORIENTED PROGRAMMING;

EID: 0036948875     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/568173.568179     Document Type: Conference Paper

References (21)

1. Affeldt, R. Supporting object-oriented features in run-time bytecode specialization. Master's thesis, University of Tokyo, Graduate School of Science, Department of Information Science, Sep. 2001.
2. Andersen, L. O. Binding-time analysis and the taming of C pointers. In Partial Evaluation and Semantics-Based Program Manipulation (Jun. 1993), ACM Press, pp. 47-58.
3. Andersen, P. H. Partial evaluation applied to ray tracing. In Software Engineering in Scientific Computing (1996), W. Mackens and S. Rump, Eds., Vieweg, pp. 78-85.
4. Asai, K. Integrating partial evaluators into interpreters. In Second International Workshop on Semantics, Applications and Implementation of Program Generation (Sep. 2001), vol. 2196 of Lecture Notes in Computer Science, Springer-Verlag.
5. Consel, C., and Noël, F. A general approach for run-time specialization and its application to C. In 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Jan. 1996), ACM Press, pp. 145-156.
6. Dean, J., Chambers, C., and Grove, D. Selective specialization for object-oriented languages. ACM SIGPLAN Notices 30, 6 (1995), 93-102.
7. Fujinami, N. Automatic run-time code generation in C++. In Scientific Computing in Object-Oriented Parallel Environments (1997), vol. 1343 of Lecture Notes in Computer Science, Springer-Verlag, pp. 9-16.
8. Fujinami, N. Determination of dynamic method dispatches using run-time code generation. In Types in Compilation (Mar. 1998), X. Leroy and A. Ohori, Eds., vol. 1473 of Lecture Notes in Computer Science, Springer-Verlag, pp. 253-271.
9. Grant, B., Mock, M., Philipose, M., Chambers, C., and Eggers, S. J. Annotation-directed run-time specialization in C. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (Jun. 1997), ACM Press, pp. 163-178.
10. Grant, B., Philipose, M., Mock, M., Eggers, S. J., and Chambers, C. An evaluation of staged run-time optimizations in DyC. In ACM SIGPLAN Conference on Programming Language Design and Implementation (May 1999), ACM Press.
11. Lea, D. Customization in C++. In C++ Conference (1990), pp. 301-314.
12. Lee, P., and Leone, M. Optimizing ML with run-time code generation. In ACM SIGPLAN Conference on Programming Language Design and Implementation (1996), ACM Press, pp. 137-148.
13. Leone, M., and Lee, P. Lightweight run-time code generation. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (Jun. 1994), ACM Press, pp. 97-106.
14. Masuhara, H., and Yonezawa, A. A portable approach to dynamic optimization in run-time specialization. Journal of New Generation Computing 20, 1 (Nov. 2001), 101-124. An extended version of [15].
15. Masuhara, H., and Yonezawa, A. Run-time bytecode specialization: A portable approach to generating optimized specialized code. In Programs as Data Objects (2001), O. Danvy and A. Filinski, Eds., vol. 2053 of Lecture Notes in Computer Science, Springer-Verlag, pp. 138-152.
16. Noël, F., Hornof, L., Consel, C., and Lawall, J. L. Automatic, template-based run-time specialization: Implementation and experimental study. In International Conference on Computer Languages (May 1998), IEEE, pp. 123-142.
17. Schultz, U. Partial evaluation for class-based object-oriented languages. In Programs as Data Objects (2001), O. Danvy and A. Filinski, Eds., vol 2053 of Lecture Notes in Computer Science, Springer-Verlag, pp. 173-197.
18. Schultz, U., and Consel, C. Automatic program specialization for Java. Tech. rep., IRISA/INRIA, Rennes - LABRI, Nov. 2000. Available at http://www.daimi.au.dk/PB/551/PB-551.pdf.
19. Schultz, U. P., Lawall, J. L., Consel, C., and Muller, G. Toward automatic specialization of Java programs. In 13th European Conference on Object-Oriented Programming (Jun. 1999).
20. Thiemann, P. J. Correctness of a region-based binding-time analysis. In Mathematical Foundations of Programming Semantics, Thirteenth Annual Conference (1997), vol. 6 of Electronic Notes in Theoretical Computer Science, Elsevier Science. Available at http://www.elsevier.nl/locate/entcs/volume6.html.
21. Volanschi, E. N., Consel, C., Muller, G., and Cowan, C. Declarative specialization of object-oriented programs. In ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (1997), ACM Press.