ABSTRACT
Many scientific problems require mathematical modeling and symbolic derivation to produce formulas which are evaluated numerically. Computer algebra systems can be used effectively in the symbolic derivation phase and subsequently to generate numerical code. This paper describes the design of the GENTRAN code generation facility for REDUCE.
- 1.American National Standards institute. "American National Standard Programming Language FORTRAN", ANS X3.9, New York. 1978.Google Scholar
- 2.Cook, G. O., Jr. "Development of a Magnetohydrodynamic Code for A_xisymmetric, High-beta Plasmas with Complex Magnetic Fields", Lawrence Livermore National Laboratory Report No. UCRL-53324, 1982.Google Scholar
- 3.Foderaro, J. K., and R. J. Fateman. "Characterization of V AX Macsyma", SY'MSAC '81 Proceedings, P. S, Wang (ed.), Snowbird, Utah. August 5-7, 1981. Google ScholarDigital Library
- 4.Foderaro, J. K. and K. L. Sklowcr. The Franz LISP Manual, University of California, Berkeley. September 1981.Google Scholar
- 5.Gates, B, L. "GENTRAN: An Automatic Code Generation Facility for REDUCE", ACM SIGSAM Bulletin 19, 3. August 1985. Google ScholarDigital Library
- 6.Gates, B. L. and P. S. Wang. "A LISP-Based RATFOR Code Generator", Proceedings of the 1984 MACSYMA User's Conference, V. E. Golden (ed.), General Electric, Schenectady, New York. July 23-25, 1984.Google Scholar
- 7.Heam, A. C. (ed.) REDUCE User's Manual, Version 3.2, The Rand Corporation, Santa Monica, California. April 1985.Google Scholar
- 8.Hulshof, B. J, A., and J. A. van Hulzen. "Automatic Error Cumulation Control", EUROSAM "84 Conference Proceedings, J. P. Fitch (ed.) Springer-Verlag LNCS Series. July 9-11, 1984. Google ScholarDigital Library
- 9.Kernighan, B.W. "RATFOR -- A Preprocessor for a' Rational Fortran", UNIX Programmer's Manual, Volume 2B, Seventh Edition. Bell Telephone Laboratories, Inc., Murray Hill, New Jersey. January 1979.Google Scholar
- 10.Kernighan, B. W. and D. M. Ritchie. The C Programming Language, Prentice-Hall, Englewood Cliffs, New Jersey. 1978. Google ScholarDigital Library
- 11.Lanam, D.H. "An Algebraic Front-End for the Production and Use of Numeric Programs", SYMSAC '81 Proceedings, P. S. Wang (ed.), Snowbird, Utah. August 5-7, 1981. Google ScholarDigital Library
- 12.Lanam, D. H. "A Package for Generating and Executing Fortran Programs with Macsyma", Master's Thesis, University of California, Berkeley. May 1982.Google Scholar
- 13.The MATHLAB Group. MACSYMA Reference Manual, Version Ten. Laboratory for Computer Science, M.I.T., Cambridge, Massachusetts. December 1983.Google Scholar
- 14.Pavelle, R. and P. S. Wang. "MACSYMA from F to G", Journal of Symbolic Computation, Volume 1, Number 1. Academic Press, New York, New York. March 1985. Google ScholarDigital Library
- 15.Pitman, K. M. "A FORTRAN -> LISP Translator", Proceedings of the 1979 MACSYMA User's Conference, V. E. Lewis (ed.), Washington D.C. June 20-22, 1979.Google Scholar
- 16.The Utah Symbolic Computation Group. The Portable Standard LISP User's Manual, Version 3.2. Department of Computer Science, University of Utah. April 1984.Google Scholar
- 17.van Hulzen, J. A. "Code Optimization of Multivariate Polynomial Schemes: A Pragmatic Approach", EUROCAL '83 Proceedings, J. A. van Hulzen (ed.) Springer-Verlag I_NCS Series 162. 1983. Google ScholarDigital Library
- 18.van Hulzen, J. A. "Code Optimization by Symbolic Processing", NGI-$10N Symposium Proceedings, Amsterdam, The Netherlands. April 16-17, 1984.Google Scholar
- 19.van Hulzen, J. A. "Program Generation Aspects of the Symbolic- Numeric Interface", Memorandum INF-85-25, Department of Computer Science, Twente University of Technology, Enschede, The Netherlands. (Invited Lecture, Conference on "Computer Algebra and its Applications in Theoretical Physics", Dubna, U.S.S.R.) September 1985.Google Scholar
- 20.Wang, P. S. "MACSYMA-Aided Finite Element Analysis", Proceedings of the 1984 MACSYMA User's Conference, V. E. Golden (ed.) General Electric, Schenectady, New York. July 23-25, 1984.Google Scholar
- 21.Wang, P. S., T. Y. P. Chang, and J. A. van Hulzen. "Code Generation and Optimization for Finite Element Analysis", EUROSAM '84 Proceedings, J. P. Fitch (ed.) Springer-Verlag LNCS Series. July 9- 11, 1984. Google ScholarDigital Library
- 22.Wirth, M.C. "On the Automation of Computational Physics", Ph.D. Thesis, Davis School of Applied Science, University of California, Lawrence Livermore Laboratory. October 1980. Google ScholarDigital Library
Index Terms
- A numerical code generation facility for REDUCE
Recommendations
Routine run-time code generation
Run-time code generation (RTCG) would be used routinely if application programmers had a facility with which they could easily create their own run-time code generators, because it would offer benefits both in terms of the efficiency of the code that ...
Routine run-time code generation
OOPSLA '03: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applicationsRun-time code generation (RTCG) would be used routinely if application programmers had a facility with which they could easily create their own run-time code generators, because it would offer benefits both in terms of the efficiency of the code that ...
The Metric for Automatic Code Generation
AbstractAt present, there are a lot of researches on the metric about static source code. However, there are few studies about automatic code generation. Based on the quality and efficiency of automatic code generation, this paper proposes the metric ...
Comments