Gentran: an automatic code generation facility for REDUCE

ABSTRACT

GENTRAN is a code generation and translation package implemented in RLISP to run under REDUCE. It generates complete numerical programs directly from REDUCE by transforming REDUCE prefix forms into formatted FORTRAN, RATFOR or C code. Assignment statements, control structures, type declarations, and subprogram headings can be generated from algorithmic specifications and symbolically derived formulas. An expression segmentation facility breaks large expressions into subexpressions of manageable size, and an interface to an existing code optimizer allows sequences of assignment statements to be replaced by their optimized equivalents. In addition, special file-handling facilities allow code generation to be guided by template files and output to be redirected to one or more files. GENTRAN provides the flexibility necessary to handle most code generation applications.

REFERENCES

• 1: American National Standards Institute. "American National Standard Programming Language FORTRAN", ANS X3.9, New York. 1978.
• 2: John K. Foderaro , Richard J. Fateman, Characterization of VAX Macsyma, Proceedings of the fourth ACM symposium on Symbolic and algebraic computation, p.14-19, August 05-07, 1981, Snowbird, Utah, United States [doi>10.1145/800206.806364]
• 3: Gates, Barbara L. "The Design and Implementation of an Automatic RATFOR Code Generator for VAXIMA", Master's Thesis, Kent State University, Department of Mathematical Sciences, Kent, Ohio. December 1984.
• 4: Gates, Barbara L. "GENTRAN Design and Implementation - REDUCE Version", Memorandum INF-85-12, Twente University of Technology, Department of Computer Science, Enschede, The Netherlands. August 1985.
• 5: Gates, Barbara L. "GENTRAN User's Manual - REDUCE Version", Memorandum INF-85-11, Twente University of Technology, Department of Computer Science, Enschede, The Netherlands. June 1985.
• 6: Gates, Barbara L. and Paul S. Wang. "A LISP-Based RATFOR Code Generator", Proceedings of the 1984 MACSYMA User's Conference, Schenectady, New York. July 1984.
• 7: Hearn, Anthony C. (ed.) REDUCE User's Manual, Version 3.0, The Rand Corporation, Santa Monica, California. 1983.
• 8: Ben J. A. Hulshof , J. A. van Hulzen, Automatic Error Cumulation Control, Proceedings of the International Symposium on Symbolic and Algebraic Computation, p.260-271, July 09-11, 1984
• 9: Kernighan, Brian W. "RATFOR -- A Preprocessor for a Rational Fortran", UNIX Programmer's Manual, Vol. 2B, Seventh Edition, Bell Telephone Laboratories, Inc., Murray Hill, New Jersey. 1979.
• 10: B. W. Kernighan , D. M. Ritchie, The C programming language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1978
• 11: Douglas H. Lanam, An algebraic front-end for the production and use of numeric programs, Proceedings of the fourth ACM symposium on Symbolic and algebraic computation, p.223-227, August 05-07, 1981, Snowbird, Utah, United States [doi>10.1145/800206.806400]
• 12: Lanam, Douglas H. "A Package for Generating and Executing Fortran Programs with Macsyma", Master's Thesis, University of California, Berkeley, California. 1982.
• 13: The MATHLAB Group. MACSYMA Reference Manual, Version Ten, Laboratory for Computer Science, M.I.T., Cambridge, Massachusetts. December 1983.
• 14: Pitman, Kent M. "A FORTRAN -> LISP Translator", Proceedings of the 1979 MACSYMA User's Conference, Washington D.C., June 20--22, 1979.
• 15: Utah Symbolic Computation Group. The Portable Standard LISP User's Manual, Version 3.1, University of Utah, Department of Computer Science, Salt Lake City, Utah. 1983.
• 16: J. A. van Hulzen, Code optimization of multivariate polynominal schemes: A pragmatic approach, Proceedings of the European Computer Algebra Conference on Computer Algebra, p.286-300, March 28-30, 1983
• 17: van Hulzen, J. A. "Code Optimization by Symbolic Processing", NGI-SION Symposium Proceedings, Amsterdam, The Netherlands. 1984.
• 18: van Hulzen, J. A., Pim van den Heuvel, and Barbara L. Gates. "A Facility for the Generation of Optimized Numerical Programs from REDUCE", Twente University of Technology, Department of Computer Science, Enschede, The Netherlands. In preparation.
• 19: Paul S. Wang , T. Y. P. Chang , J. A. van Hulzen, Code Generation and Optimization for Finite Element Analysis, Proceedings of the International Symposium on Symbolic and Algebraic Computation, p.237-247, July 09-11, 1984
• 20: P. H. Winston , B. K. Horn, LISP, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
• 21: Michael Clarence Wirth, On the automation of computational physics, 1980