More Web Proxy on the site http://driver.im/

Article

Free access

A numerical code generation facility for REDUCE

Author:

Barbara L. GatesAuthors Info & Claims

SYMSAC '86: Proceedings of the fifth ACM symposium on Symbolic and algebraic computation

Pages 94 - 99

https://doi.org/10.1145/32439.32459

Published: 01 October 1986 Publication History

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.

References

[1]

American National Standards institute. "American National Standard Programming Language FORTRAN", ANS X3.9, New York. 1978.

[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.

[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.

Digital Library

[4]

Foderaro, J. K. and K. L. Sklowcr. The Franz LISP Manual, University of California, Berkeley. September 1981.

[5]

Gates, B, L. "GENTRAN: An Automatic Code Generation Facility for REDUCE", ACM SIGSAM Bulletin 19, 3. August 1985.

Digital 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.

[7]

Heam, A. C. (ed.) REDUCE User's Manual, Version 3.2, The Rand Corporation, Santa Monica, California. April 1985.

[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.

Digital 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.

[10]

Kernighan, B. W. and D. M. Ritchie. The C Programming Language, Prentice-Hall, Englewood Cliffs, New Jersey. 1978.

Digital 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.

Digital Library

[12]

Lanam, D. H. "A Package for Generating and Executing Fortran Programs with Macsyma", Master's Thesis, University of California, Berkeley. May 1982.

[13]

The MATHLAB Group. MACSYMA Reference Manual, Version Ten. Laboratory for Computer Science, M.I.T., Cambridge, Massachusetts. December 1983.

[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.

Digital 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.

[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.

[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.

Digital Library

[18]

van Hulzen, J. A. "Code Optimization by Symbolic Processing", NGI-$10N Symposium Proceedings, Amsterdam, The Netherlands. April 16-17, 1984.

[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.

[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.

[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.

Digital 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.

Digital Library

Cited By

Banerjee JSobey ASu HFitch J(2008)Use of computer algebra in Hamiltonian calculationsAdvances in Engineering Software10.1016/j.advengsoft.2007.03.01339:6(521-525)Online publication date: 1-Jun-2008
https://dl.acm.org/doi/10.1016/j.advengsoft.2007.03.013
Wang P(2005)Symbolic computation and parallel softwareParallel Computation10.1007/3-540-55437-8_89(316-337)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-55437-8_89
Heuvel PHulzen JGoldman V(2005)Automatic generation of FORTRAN-Coded Jacobians and HessiansEurocal '8710.1007/3-540-51517-8_99(120-131)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-51517-8_99
Show More Cited By

Index Terms

A numerical code generation facility for REDUCE
1. Computing methodologies
  1. Symbolic and algebraic manipulation
    1. Computer algebra systems
2. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Source code generation

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 applications

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 ...
The Metric for Automatic Code Generation
Abstract
At 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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SYMSAC '86: Proceedings of the fifth ACM symposium on Symbolic and algebraic computation

October 1986

254 pages

ISBN:0897911997

DOI:10.1145/32439

Editor:
Bruce W. Char
Univ. of Waterloo, Waterloo, Canada

Copyright © 1986 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1986

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SYMSAC86

Sponsor:

SIGSAM

SYMSAC86: Proceedings of the Symposium on Symbolic and Algebraic Manipulation

July 21 - 23, 1986

Ontario, Waterloo, Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
246
Total Downloads

Downloads (Last 12 months)43
Downloads (Last 6 weeks)6

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Banerjee JSobey ASu HFitch J(2008)Use of computer algebra in Hamiltonian calculationsAdvances in Engineering Software10.1016/j.advengsoft.2007.03.01339:6(521-525)Online publication date: 1-Jun-2008
https://dl.acm.org/doi/10.1016/j.advengsoft.2007.03.013
Wang P(2005)Symbolic computation and parallel softwareParallel Computation10.1007/3-540-55437-8_89(316-337)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-55437-8_89
Heuvel PHulzen JGoldman V(2005)Automatic generation of FORTRAN-Coded Jacobians and HessiansEurocal '8710.1007/3-540-51517-8_99(120-131)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-51517-8_99
Sharma NWang P(2005)Symbolic derivation and automatic generation of parallel routines for finite element analysisSymbolic and Algebraic Computation10.1007/3-540-51084-2_4(33-56)Online publication date: 27-May-2005
https://doi.org/10.1007/3-540-51084-2_4
Grabmeier JKaltofen EWeispfenning V(2003)Cited ReferencesComputer algebra handbook10.5555/940131.940137(493-622)Online publication date: 1-Jan-2003
https://dl.acm.org/doi/10.5555/940131.940137
Monagan MMonagan GChar BWang P(1997)A toolbox for program manipulation and efficient code generation with an application to a problem in computer visionProceedings of the 1997 international symposium on Symbolic and algebraic computation10.1145/258726.258799(257-264)Online publication date: 1-Jul-1997
https://dl.acm.org/doi/10.1145/258726.258799
Borst WGoldman Vvan Hulzen JMacCallum M(1994)GENTRAN 90Proceedings of the international symposium on Symbolic and algebraic computation10.1145/190347.190359(45-51)Online publication date: 1-Aug-1994
https://dl.acm.org/doi/10.1145/190347.190359
Ganzha VVorozhtsov Evan Hulzen J(1992)A new symbolic-numeric approach to stability analysis of difference schemesPapers from the international symposium on Symbolic and algebraic computation10.1145/143242.143254(9-15)Online publication date: 1-Aug-1992
https://dl.acm.org/doi/10.1145/143242.143254
Weerawarana SWang P(1992)A portable code generator for CRAY FORTRANACM Transactions on Mathematical Software10.1145/131766.13176718:3(241-255)Online publication date: 1-Sep-1992
https://dl.acm.org/doi/10.1145/131766.131767
Broughan KKeady GRobb TRichardson MDewar M(1991)Some symbolic computing links to the NAG numeric libraryACM SIGSAM Bulletin10.1145/122514.12251825:3(28-37)Online publication date: 1-Jul-1991
https://dl.acm.org/doi/10.1145/122514.122518
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents