Sam Kamin
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.
- T. B. Aktemur, J. Jones, S. Kamin, L. Clausen. Optimizing marshalling by run time program generation. In preparation. 2004.Google Scholar
- G. Attardi, A. Cisternino, A. Kennedy. CodeBricks: code fragments as building blocks. PEPM 2003. San Diego, CA. 66--74. Google ScholarDigital Library
- L. Clausen. Optimizations in Distributed Run-time Compilation. Univ. of Illinois PhD thesis. 2003. Google ScholarDigital Library
- D. Cordes, M. Brown. The Literate-Programming Paradigm. IEEE Computer 24:6. June 1991. 52--61. Google ScholarDigital Library
- D. Engler, W. Hsieh, M. Kaashoek. 'C: A language for high-level, efficient, and machine-independent dynamic code generation. Proc. 23 rd POPL. St. Petersburg Beach, Florida. January 1996. 131--144. Google ScholarDigital Library
- 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.Google Scholar
- E. Gamma, R. Helm. R. Johnson, J. Vlissides. Design Patterns. Addison-Wesley. Reading, Mass. 1995.Google Scholar
- J.Hannemann, G. Kiczales. Design Pattern Implementation in Java and AspectJ. Proc. 17th OOPSLA. November 2002. 161--173. Google ScholarDigital Library
- S. Kamin. Routine Run-time Code Generation. Proc. 18th OOPSLA (Onward! Track). November 2003. 208--220. Google ScholarDigital Library
- G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, W. G. Griswold. An Overview of AspectJ. Proc. ECOOP. Springer-Verlag. 2001. Google ScholarDigital Library
- D.E. Knuth. Literate Programming. Computer J. 27:2. May 1984. 97--111. Google ScholarDigital Library
- D.E. Knuth, Computers & Typesetting, Volume B: TeX: The Program. Addison-Wesley. Reading, Massachusetts. 1986. Google ScholarDigital Library
- D.E. Knuth, Computers & Typesetting, Volume D: METAFONT: The Program. Addison-Wesley. Reading, Massachusetts. 1986. Google ScholarDigital Library
- 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.Google Scholar
- 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.Google Scholar
- R. Sedgewick, K. Wayne. Introduction to Computer Science. Online textbook available at www.cs.princeton.edu/introcs/home/. 2004.Google Scholar
- Y. Smaragdakis, D. Batory. Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. ACM Trans. On Software Eng. And Methodology 11(2). April 2002. 215--255. Google ScholarDigital Library
- W. Taha, T. Sheard. Multi-stage programming with explicit annotations. In Proc. PEPM '97. ACM SIGPLAN Notices 32: 12. New York. June 12-13, 1997. 203--217. Google ScholarDigital Library
Index Terms
- Invited application paper: program generation considered easy
Recommendations
Routine run-time code generation
Run-time code generation (RTCG) would be used routinely if application programmers had a facility with which they could easily create their own run-time code generators, because it would offer benefits both in terms of the efficiency of the code that ...
Jumbo: run-time code generation for Java and its applications
CGO '03: Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimizationRun-time code generation is a well-known technique for improving the efficiency of programs by exploiting dynamic information. Unfortunately, the difficulty of constructing run-time code-generators has hampered their widespread use. We describe Jumbo, a ...
Routine run-time code generation
OOPSLA '03: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applicationsRun-time code generation (RTCG) would be used routinely if application programmers had a facility with which they could easily create their own run-time code generators, because it would offer benefits both in terms of the efficiency of the code that ...
Comments