Engineering a customizable intermediate representation

ABSTRACT

The Ovm framework is a set of tools and components for building language runtimes. We present the intermediate representation and software design patterns used throughout the framework. One of the main themes in this work has been to support experimentation with new linguistic constructs and implementation techniques. To this end, framework components were designed to be parametric with respect to the instruction set on which they operate. We argue that our approach eases the task of writing new components without sacrificing efficiency.

REFERENCES

• 1: B. Baillarguet and I. Piumarta. A highly-configurable, modular system for mobility, interoperability, specialization, and reuse. In 2nd ECOOP Workshop on Object-Orientation and Operating Systems, June 1999.
• 2: Michael G. Burke , Jong-Deok Choi , Stephen Fink , David Grove , Michael Hind , Vivek Sarkar , Mauricio J. Serrano , V. C. Sreedhar , Harini Srinivasan , John Whaley, The Jalapeño dynamic optimizing compiler for Java, Proceedings of the ACM 1999 conference on Java Grande, p.129-141, June 12-14, 1999, San Francisco, California, United States [doi>10.1145/304065.304113]
• 3: M. Anton Ertl , David Gregg, Building an Interpreter with Vmgen, Proceedings of the 11th International Conference on Compiler Construction, p.5-8, April 08-12, 2002
• 4: C. Flack, T. Hosking, and J. Vitek. Idioms in Ovm. Technical Report CSD-TR-03-017, Department of Computer Sciences, Purdue University, 2003.
• 5: E. Gagnon and L. Hendren. Effective inline-threaded interpretation of java bytecode using preparation sequences. In Compiler Construction, 12th International Conference, Jan 2003.
• 6: Erich Gamma, Richard Helm, Ralph E. Johnson, and John Vlissides. Design Patterns. Addison-Wesley, 1994.
• 7: Christian Grothoff. Walkabout revisited: The runabout. In ECOOP 2003 - Object-Oriented Programming, Berlin, Heidelberg, New York, 2003. Springer-Verlag.
• 8: Christian Grothoff , Jens Palsberg , Jan Vitek, Encapsulating objects with confined types, Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, p.241-255, October 14-18, 2001, Tampa Bay, FL, USA
• 9: David Hovemeyer , William Pugh , Jaime Spacco, Atomic Instructions in Java, Proceedings of the 16th European Conference on Object-Oriented Programming, p.133-154, June 10-14, 2002
• 10: Martin E. Nordberg III. Variations of the Visitor Pattern. 1996.
• 11: Richard A. Kelsey , Jonathan A. Rees, A tractable Scheme implementation, Lisp and Symbolic Computation, v.7 n.4, p.315-335, Dec. 1994 [doi>10.1007/BF01018614]
• 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: Tim Lindholm , Frank Yellin, Java Virtual Machine Specification, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
• 14: Proceedings of the 16th European Conference on Object-Oriented Programming, June 2002
• 15: Neal Glew , Jens Palsberg, Type-Safe Method Inlining, Proceedings of the 16th European Conference on Object-Oriented Programming, p.525-544, June 10-14, 2002
• 16: Olin Grigsby Shivers, Control-flow analysis of higher-order languages of taming lambda, Carnegie Mellon University, Pittsburgh, PA, 1991
• 17: John Whaley, Joeq: a virtual machine and compiler infrastructure, Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators, p.58-66, June 12-12, 2003, San Diego, California [doi>10.1145/858570.858577]