References

  1. R.L.Sites, A.Chernoff, M.B.Kirk, M.P.Marks and S.G.Robinson, "Binary Translation", Communication of the ACM, pp69-81, vol36, Feb, 1993.

  2. Digital, "Freeport Express", http://www.novalink.com/freeport-express/, 1995.

  3. SunSoft, "Personal Computer Integration Products", http://www.sun.com/sunsoft/products/PC-integration-products/, 1994.

  4. Apple Corporation, "Macintosh Application environment", http://www.mae.apple.com/, 1994.

  5. AT&T, "Flashport", http://www.att.com/Flashport/, 1994.

  6. D.R.Engler, William C.Hsieh and M.Frans Kaashoek, "'C: A language for high-level, efficient and machine independent dynamic code generation", Proceeding of the 23rd Annual ACM Symposium on Principles of Programming Languages, Jan, 1996.

  7. M.Weiser, "Program Slicing", IEEE Transactions on Software Engineering, pp352-357, Vol SE-10, No 4, July 1984.

  8. S.Horwitz, T.Reps and D.Binkley, "Interprocedural Slicing Using Dependence Graphs", Transaction of Programming Languages and Systems, ACM Publication, pp26-60, Vol 12, No1, Jan, 1990.

  9. Digital, "FX!32", http://www..digital.com/info/semiconductor/amt/fx32/.

  10. T.Ball and S.Horwitz, "Slicing programs with Arbitrary Control-flow", LNCS749, Proceedings of the International Workshop on Automated and Algorithm Debugging, pp206-221, May, 1993.

  11. J.R.Larus, "EEL: Executable Editing Library", Proceeding of PLDI 1995, SIGPLAN Notices, pp291-300, Vol 30, No 6, June, 1995.

  12. C.McConnel, D.Roberts and C.Schoewing, "RTL System", http://cuisun9.unige.ch/OSG/Lobby/Languages/IntermediateRepresentaion.html.

  13. R.Cytron, J.Ferrante, B.k.Rosen, M.N.Wegman and F.K.Zadech, "Efficient computing static single assignment form and the control dependence graph", Transaction of Programming Languages and Systems, ACM Publication, pp451-490, Vol 13, No 4, Oct, 1991.

  14. C.Cifuentes and V.Malhotra, "Towards Second Generation Binary Translation", Dept. of Computer Science, {cristina, vmm}@cs.utas.edu.au.

  15. D.Ungar and R.B.Smith, "SELF: The Power of Simplicity", LISP And Symbolic Computation, An International Journal, 4, 3, 1991.

  16. N.Ramsey and M.Ferandez. "The New Jersey Machine-code Toolkit", Proceeding of the 1995 USENIX Technical Conference, pp289-302, Jan, 1995.

  17. N.Ramsey and M.Ferandez. "The New Jersey Machine-code Toolkit. Techical Report", Dept of Computer Science, Princeton University.

  18. J.R.Larus, "EEL Guts: Using the EEL Executable Editing Library", Dept of Computer Science, University of Wisconsin, Madison, 1995.

  19. S.Chamberlain, "libbfd: the Binary File Descriptor library.", Cygnus Support, Free Software Foundation, Inc., First edition, 1991.

  20. M.Ferandez. "Simple and effective linktime optimization of modula-3 programs", SIGPLAN Conference on Programming Languages, Design and Implementation, pp 103-115, June, 1995.

  21. N.Ramsey and D.R.Hanson. "A retargetable debugger.", Proceedings Programming Languages, Design and Implementation, pp 22-31, June, 1992.

  22. DWG file format, http://wwwis.cs.utwente.nl:8080/~faase/BFF/dwg_ff.html.

  23. ELF man pages, SunOS 5.4, Jul, 1990.

  24. Linker and Libraries Manual, Nov 1993.