© 1994 Association for Computing Machinery.
Reprinted from pp. 25-31 Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC 94), 20-22 July 1994, Oxford UK.

A First Report on the A^# Compiler

Stephen M. Watt Peter A. Broadbery Samuel S. Dooley
Pietro Iglio Scott C. Morrison Jonathan M. Steinbach Robert S. Sutor

IBM Thomas J. Watson Research Center
P.O. Box 218, Yorktown Heights, NY  10598 USA
{smwatt,peteb,dooley,iglio,jonms,sutor}@watson.ibm.com

• INTRODUCTION
  • Relation to work in computer algebra
  • Relation to work in compilers
• COMPILER ORGANIZATION
  • External characteristics
  • Internal structure
• MAJOR COMPONENTS
  • Type inference
  • Abstract Machine
  • Optimization
• TARGETS
  • C generation
  • Lisp generation
  • Portability
• EXAMPLE
• BENCHMARKS
• Acknowledgements
• References
• About this document ...