Declarative specialization for object-oriented-program specialization

ABSTRACT

The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process. We have developed a simple, declarative language for controlling the specialization of Java programs, and interfaced this language with the JSpec partial evaluator for Java. This language, named Pesto, allows declarative specialization of programs written in an object-oriented style of programming. The Pesto compiler automatically generates the context information needed for specializing Java programs, and automatically generates guards that enable the specialized code in the right context.

REFERENCES

• 1: H. Markmann Andersen. Deklarativ specialisering af objektorienterede sprog. Master's thesis, DAIMI, University of Aarhus, May 2003.
• 2: H. Markmann Andersen and U.P. Schultz. Declarative specialization for object-oriented-program specialization. Technical Report DAIMI-PB-569, DAIMI, May 2004.
• 3: L.O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, Computer Science Department, University of Copenhagen, May 1994. DIKU Technical Report 94/19.
• 4: R. Baier, R. Glück, and R. Zöchling. Partial evaluation of numerical programs in Fortran. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94), pages 119--132, Orlando, FL, USA, June 1994. Technical Report 94/9, University of Melbourne, Australia.
• 5: A. Bondorf. Self-Applicable Partial Evaluation. PhD thesis, DIKU, University of Copenhagen, Denmark, 1990. Revised version: DIKU Report 90/17.
• 6: Charles Consel, A tour of Schism: a partial evaluation system for higher-order applicative languages, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.145-154, June 14-16, 1993, Copenhagen, Denmark [doi>10.1145/154630.154645]
• 7: Charles Consel , Luke Hornof , François Noël , Jacques Noyé , Nicolae Volansche, A Uniform Approach for Compile-Time and Run-Time Specialization, Selected Papers from the Internaltional Seminar on Partial Evaluation, p.54-72, February 12-16, 1996
• 8: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 9: Luke Hornof , Charles Consel , Jacques Noyé, Effective Specialization of Realistic Programs via Use Sensitivity, Proceedings of the 4th International Symposium on Static Analysis, p.293-314, September 08-10, 1997
• 10: IBM. IBM JDK 1.3.1, 2001. Accessible from http://www.ibm.com/java/jdk.
• 11: Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
• 12: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001
• 13: G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Aksit and S. Matsuoka, editors, Proceedings of the European Conference on Object-oriented Programming (ECOOP'97), volume 1241 of Lecture Notes in Computer Science, pages 220--242, Jyväskylä, Finland, June 1997. Springer.
• 14: Anne-Françoise Le Meur , Julia L. Lawall , Charles Consel, Towards bridging the gap between programming languages and partial evaluation, Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, p.9-18, January 14-15, 2002, Portland, Oregon
• 15: J. W. Lloyd , J. C. Shepherdson, Partial evaluation in logic programming, Journal of Logic Programming, v.11 n.3-4, p.217-242, Oct./Nov. 1991 [doi>10.1016/0743-1066(91)90027-M ]
• 16: M. Luján. Object oriented linear algebra. Master's thesis, University of Manchester, December 1999.
• 17: Mikel Luján , T. L. Freeman , John R. Gurd, OoLALA: an object oriented analysis and design of numerical linear algebra, Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.229-252, October 2000, Minneapolis, Minnesota, United States
• 18: Anne-Françoise Le Meur , Julia L. Lawall , Charles Consel, Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization, Higher-Order and Symbolic Computation, v.17 n.1-2, p.47-92, March-June 2004
• 19: C. Pu , T. Autrey , A. Black , C. Consel , C. Cowan , J. Inouye , L. Kethana , J. Walpole , K. Zhang, Optimistic incremental specialization: streamlining a commercial operating system, ACM SIGOPS Operating Systems Review, v.29 n.5, p.314-321, Dec. 3, 1995
• 20: U.P. Schultz. Object-Oriented Software Engineering Using Partial Evaluation. PhD thesis, University of Rennes~I, Rennes, France, December 2000.
• 21: Ulrik Pagh Schultz, Partial Evaluation for Class-Based Object-Oriented Languages, Proceedings of the Second Symposium on Programs as Data Objects, p.173-197, May 21-23, 2001
• 22: Ulrik Pagh Schultz , Julia L. Lawall , Charles Consel , Gilles Muller, Towards Automatic Specialization of Java Programs, Proceedings of the 13th European Conference on Object-Oriented Programming, p.367-390, June 14-18, 1999
• 23: Ulrik P. Schultz , Julia L. Lawall , Charles Consel, Automatic program specialization for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.4, p.452-499, July 2003 [doi>10.1145/778559.778561]
• 24: Ulrik P. Schultz , Julia L. Lawall , Charles Consel, Specialization Patterns, Proceedings of the 15th IEEE international conference on Automated software engineering, p.197, September 11-15, 2000
• 25: E.N. Volanschi. Une approche automatique à la spécialisation de composants système. Thèse de doctorat, University of Rennes I, February 1998.
• 26: Eugen N. Volanschi , Charles Counsel , Gilles Muller , Crispin Cowan, Declarative specialization of object-oriented programs, Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.286-300, October 05-09, 1997, Atlanta, Georgia, United States
• 27: AspectJ home page, 2000. Accessible from http://aspectj.org. Xerox Corp.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors

General Terms:
Design, Languages

Keywords:
Java, declarative specialization, partial evaluation