REFERENCES

1. Benton, N. 2004. Simple relational correctness proofs for static analyses and program transformations. In Proceedings of the Annual Symposium on Principles of Programming Languages, (Venice, Italy), 1425.

2. Boshernitsan, M. 2003. Program manipulation via interactive transformations. In Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, (Anaheim, California), 120121.

3. Chiba, S. and Nishizawa, M. 2003. An Easy-to-use Toolkit for Efficient Java Bytecode Translators. In Proceedings of the second international conference on Generative programming and component engineering, (Erfurt, Germany), 364376.

4. Cohen, G., Chase, J., and Kaminsky, D. 1998. Automatic program transformation with JOIE. In Annual Technical Conference, (New Orleans). USENIX, 167178.

5. Duncan, A. and Hölzle, U. 1999. Load-time adaptation: Efficient and non-intrusive language extension for virtual machines. Tech. Rep. TRCS99-09, Department of Computer Science, University of California, Santa Barbara.

6. Evans, D. and Twyman, A. 1999. Flexible policy-directed code safety. In Symp. Security and Privacy, (Oakland, California). IEEE, 3245.

7. Fulkerson, M. S. and Biermann, A. W. 2000. Javox: A toolkit for building speech enabled applications. In 6th Applied Natural Language Processing Conference, (Seattle). Association for Computational Linguistics, 105111.

8. Goldberg, A. and Robson, D. 1983. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, Massachusetts.

9. Gordon, A. D. and Syme, D. 2001. Typing a multi-language intermediate code. In 28th Symp. Principles of Programming Languages (POPL), (London). ACM, 248260.

10. Gray, J. and Roychoudhury, S. 2004. A technique for constructing aspect weavers using a program transformation engine. In Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, (Lancaster, UK), 3645.

11. Hilsdale, E. and Hugunin, J. 2004. Advice Weaving in AspectJ. In Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, (Lancaster, UK), 2635.

12. Kiczales, G. 1992. Towards a new model of abstraction in software engineering. In Int'l Workshop on New Models in Software Architecture, Reflection and Meta Level Architecture, (Tokyo). http://www.parc.xerox.com/spl/groups/eca/pubs/papers/Kiczales-IMSA92/for-web.pdf.

13. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., and Griswold, W. G. 2001. An overview of AspectJ. In ECOOP 2001Object-Oriented Programming, 15th European Conference, (Budapest), J. L. Knudsen, Ed. LNCS, vol. 2072. Springer-Verlag, Berlin, 327353.

14. Li, W., Wang, W., and Marsic, I. 1999. Collaboration transparency in the DISCIPLE framework. In Int'l Conf. Supporting Group Work (GROUP), (Phoenix, Arizona). ACM, 326335.

15. Nori, K., Ammann, U., Jensen, K., Nageli, H., and Jacobi, C. 1981. P-code compiler: Implementation notes. In Pascal: The Language and its Implementation, D. W. Barron, Ed. Wiley, (New York), 125170.

16. Rudys, A. and Wallach, D. S. 2002. Termination in language-based systems. Information and System Security 5, 2, 138168.

17. Sirer, E. G., Grimm, R., Gregory, A. J., and Bershad, B. N. 1999. Design and implementation of a distributed virtual machine for networked computers. In 17th Symp. Operating Systems Principles (SOSP), (Charleston, South Carolina). ACM, 202216.

18. Sittampalam, G., De Moor, O., and Larsen, K. F. 2004. Incremental execution of transformation specifications. In Proceedings of the Annual Symposium on Principles of Programming Languages, (Venice, Italy), 2638.

19. Srivastava, A. and Wall, D. W. 1993. A practical system for intermodule code optimization at link-time. Journal of Programming Languages 1, 1 (Mar.), 118.

20. Vogelheim, D. 1999. Ein rahmenwerk zur untersuchung zustands basierter testverfahren für objektorientierte software. Tech. rep., Lehr- und Forschungsgebiet Informatik III, RWTH Aachen.

21. Wall, D. W. 1992. Systems for late code modification. Tech. Rep. TR 92/3, Western Research Laboratory, Digital Equipment Corporation.

22. Wallach, D. S. and Felten, E. W. 1998. Understanding Java stack inspection. In Symp. Security and Privacy, (Oakland, California). IEEE, 5263.

23. Welch, I. and Stroud, R. 1999. Dalanga reflective extension for Java. Tech. Rep. CS-TR-672, Department of Computer Science, University of Newcastle-upon-Tyne, United Kingdom.