Invited application paper: program generation considered easy

ABSTRACT

Programmers frequently write program generators using the simple model of programs as text. The essence of this approach is its lack of structure. For this reason, it gets no respect from academic researchers. But the flip side of lacking structure is freedom from restrictions. We argue that the latter is important, and perhaps essential, in finding a willing audience for program generation among working programmers. Jumbo is a system for producing run-time program generators, which is designed to offer the programmer a "programs as strings" model to as great an extent as possible, though some constraints are inevitable. We show by several examples that these constraints still allow for both a natural and a powerful program generation model. We then discuss how the approach taken by Jumbo, though possessing less structure than some competing methods, still raises scientific problems that ought to be of interest to researchers in this area.

REFERENCES

• 1: T. B. Aktemur, J. Jones, S. Kamin, L. Clausen. Optimizing marshalling by run time program generation. In preparation. 2004.
• 2: Giuseppe Attardi , Antonio Cisternino , Andrew Kennedy, CodeBricks: code fragments as building blocks, Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, p.66-74, June 07-07, 2003, San Diego, California, USA
• 3: Lars Reder Clausen , Samuel N. Kamin, Optimizations in distributed run-time compilation, 2004
• 4: David Cordes , Marcus Brown, The Literate-Programming Paradigm, Computer, v.24 n.6, p.52-61, June 1991 [doi>10.1109/2.86838]
• 5: Dawson R. Engler , Wilson C. Hsieh , M. Frans Kaashoek, C: a language for high-level, efficient, and machine-independent dynamic code generation, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.131-144, January 21-24, 1996, St. Petersburg Beach, Florida, United States [doi>10.1145/237721.237765]
• 6: M. Frigo, S.G. Johnson. FFTW: An Adaptive Software Architecture for the FFT. Int. Conf. on Acoustics, Speech, and Signal Processing (ICASSP). 1998. 1381--1384.
• 7: E. Gamma, R. Helm. R. Johnson, J. Vlissides. Design Patterns. Addison-Wesley. Reading, Mass. 1995.
• 8: Jan Hannemann , Gregor Kiczales, Design pattern implementation in Java and aspectJ, Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington, USA
• 9: Sam Kamin, Routine run-time code generation, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 26-30, 2003, Anaheim, CA, USA [doi>10.1145/949344.949401]
• 10: 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
• 11: Donald E. Knuth, Literate programming, The Computer Journal, v.27 n.2, p.97-111, May 1984 [doi>10.1093/comjnl/27.2.97]
• 12: Donald Ervin Knuth, TEX: The Program, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 13: Donald Ervin Knuth, Metafont: The Program, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 14: G.T. Leavens, A.L. Baker, and C. Ruby. Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Department of Computer Science, Iowa State University, TR #98-06x. November 2003.
• 15: Y. Oiwa, H. Masuhara, A. Yonezawa. DynJava: Type Safe Dynamic Code Generation in Java. 3rd JSSST Workshop on Programming and Programming Languages (PPL2001). March 2001.
• 16: R. Sedgewick, K. Wayne. Introduction to Computer Science. Online textbook available at www.cs.princeton.edu/introcs/home/. 2004.
• 17: Yannis Smaragdakis , Don Batory, Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs, ACM Transactions on Software Engineering and Methodology (TOSEM), v.11 n.2, p.215-255, April 2002 [doi>10.1145/505145.505148]
• 18: Walid Taha , Tim Sheard, Multi-stage programming with explicit annotations, Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.203-217, June 12-13, 1997, Amsterdam, The Netherlands

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Code generation

General Terms:
Languages

Keywords:
Java, run-time code generation