Reverse Interpretation + Mutation Analysis = Automatic Retargeting

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 5, 1997, Pages 57-70

  Collberg, Christian S ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0347934838     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/258916.258922     Document Type: Article

References (17)

1. Henry G. Baker. Precise instruction scheduling without a precise machine model. Computer Architecture News, 19(6), December 1991.
2. Digital Systems Research Center. Src modula-3: Release history. http://www.research.digital.com/ SRC/modula-3/html/history.html, 1996.
3. David Chase and Oliver Ridoux. C as an intermediate representation. comp.compilers article numbers 90-08-046 and 90-08-063, August 1990. Retrieve from http://iecc.com/compilers/article.html.
4. Cristina Cifuentes and K. John Gough. Decompilation of binary programs. Software - Practice & Experience, 25(7):811-829, July 1995.
5. Tera Computer Company. Major system characteristics of the Tera supercomputer, November 1995. http://www.tera.com/hardware-overview.html.
6. Helmut Emmelmann, Friedrich-Wilhelm Schröer, and Rudolf Landwehr. Beg - a generator for efficient back ends. In SIGPLAN 89 Conference on Programming Language Design and Implementation, pages 227-237, 1989.
7. Interactive Software Engineering. ISE Eiffel in a nutshell, http://eiffel.com/eiffel/nutshell.html, 1996.
8. D. R. Engler and Todd A. Proebsting. DCG: An efficient retargetable dynamic code generation system. In International Conference on Architectural Support for Programming Languages and Operating Systems, October 1994.
9. Christopher W. Fraser, Robert R. Henry, and Todd A. Proebsting. BURG - fast optimal instruction selection and tree parsing. SIGPLAN Notices, 24(7):68-76, April 1992.
10. Hewlett-Packard. A Pocket Guide to Hewlett-Packard Computers, 1968.
11. Richard C. Holt. Data descriptors: A compile-time model of data and addressing. ACM Transactions on Programming Languages and Systems, 9(3):367-389, 1987.
12. David Keppel. Compiler back-ends. comp.compilers article number 95-10-136, October 1995. Retrieve from http://iecc.com/compilers/article.html.
13. James R. Larus and Eric Schnarr. EEL: Machine-independent executable editing. In PLDI'95, pages 291-300, La Jolla, CA, June 1995.
14. Harry Massalin. Superoptimizer - a look at the smallest program. In Proceedings Second International Conference on Architechtural Support for Programming Languages and Operating Systems (ASPLOS II), Palo Alto, California, October 1987.
15. Larry McVoy and Carl Staelin. lmbench: Portable tools for performance analysis, 1996. In USENIX Annual Technical Conference, San Diego, California, January 1996.
16. Steven Pemberton. Enquire 4.3, 1990.
17. Richard M. Stallman. Using and Porting GNU CC. Free Software Foundation, Inc., 2.7.2 edition, November 1995. http://www.gnu.ai.mit.edu/doc/doc.html.