A code optimization package for REDUCE

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A code optimization package for REDUCE

Full text

Pdf (857 KB)

Source

International Conference on Symbolic and Algebraic Computation archive
Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation table of contents

Portland, Oregon, United States

Pages: 163 - 170

Year of Publication: 1989

ISBN:0-89791-325-6

Authors

J. A. van Hulzen	Twente University, Dept. of Cornp. Science, P.O. Box 217,750O AE Enschede, the Netherlands
B. J. Hulshof	Philips Research. Building WB 346. P.O.Box 80.000.5600 JA Eidhoven. the Netherlands
B. L. Gates	The Rand Corporation, 1700 Main Street, Santa Monica, CA
M. C. van Heerwaarden	Twente University, Dept. of Cornp. Science, P.O. Box 217,750O AE Enschede, the Netherlands

Sponsor

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 9, Citation Count: 7

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/74540.74561 What is a DOI?

ABSTRACT

A survey of the strategy behind and the facilities of a code optimization package for REDUCE are given. We avoid a detailed discussion of the different algorithms and concentrate on the user aspects of the package. Examples of straightforward and more advanced usage are shown.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	2	Melvin A. Breuer, Generation of optimal code for expressions via factorization, Communications of the ACM, v.12 n.6, p.333-340, June 1969 [doi>10.1145/363011.363153]
	3	Barbara L. Gates, Gentran: an automatic code generation facility for REDUCE, ACM SIGSAM Bulletin, v.19 n.3, p.24-42, August 1985 [doi>10.1145/1089411.1089415]
	4	Gates, B.L., Wang,P.S.: "A LISP-based RATFOR code generator", Proceedings 1984 MACSYMA User's Conference (V.E. Golden, ed.), 319-329. Schenectady, N.Y.: Gen. El. (1984).
	5	Goldman, V.V., van Hulzen, J.A.: "Automatic code vectorization of arithmetic expressions by bottom-up structure recognition", Proceedings CAP '88 (E. Toumidr, ed.), (to appear).
	6	Gonzales, T., Ja' Ja', J.: "Evaluation of arithmetic expressions with algebraic identifies", SIAM J. Con~., 11, 4, 633-662 (1982).
	7	Heam, A.C.: "Structure: The key to improved algebraic computation", Proceedings RSYMSAC2 (N. Inada en T. Soma, ecl.'s), 215-230. Singapore: World Scientific Publ. (1985).
	8	Anthony C. Hearn, Optimal Evaluation of Algebraic Expressions, Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, p.392-403, July 15-19, 1985
	9	Heam, A.C.: REDUCE user's manual, version 3.3. Santa Monica, CA: The Rand Corporation (1987).
	10	van Heerwaaxden, M.C.: Data dependences analysis for program generation and optimization, Masters Thesis, University Twente, Dept. of Computer Science (june 1989).
	11	P. van den Heuvel , J. A. van Hulzen , V. V. Goldman, Automatic generation of FORTRAN-coded Jacobians and Hessians, Proceedings of the European Conference on Computer Algebra, p.120-131, June 02-05, 1987
	12	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
	13	Ben J. A. Hulshof , J. A. van Hulzen, An Expression Compression Package for REDUCE based on Factorization and Controlled Expansion, Research Contributions from the European Conference on Computer Algebra-Volume 2, p.315-316, April 01-03, 1985
	14	J. A. van Hulzen, Breuer's grow factor algorithm in computer algebra, Proceedings of the fourth ACM symposium on Symbolic and algebraic computation, p.100-104, August 05-07, 1981, Snowbird, Utah, United States [doi>10.1145/800206.806377]
	15	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
	16	Donald B. Johnson , Webb Miller , Brian Minnihan , Celia Wrathall, Reducibility Among Floating-Point Graphs, Journal of the ACM (JACM), v.26 n.4, p.739-760, Oct. 1979 [doi>10.1145/322154.322164]
	17	Knuth, D.E.' "An empirical study of Fortran programs", Software Practice and Experience 1, 105-133 (1971).
	18	Donald E. Knuth, The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1997
	19	Molcnkamp, i.H.I., Mellink, J.; Some investigations concerning symbolic-numeric strategies in linear programming, Masters Thesis (in Dutch), University Twente, Dept. of Computer Science (1988).
	20	J. Smit , J. A. van Hulzen , B. J. A Hulshof, NETFORM and code optimizer manual, ACM SIGSAM Bulletin, v.15 n.4, p.23-32, November 1981 [doi>10.1145/1089270.1089275]
	21	J. Smit , J. A. van Hulzen, Symbolic Numeric Methods in Microwave Technology, Proceedings of the European Computer Algebra Conference on Computer Algebra, p.281-288, April 05-07, 1982
	22	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

CITED BY 7

	E. V. Zima, Numeric code optimization in computer algebra systems and recurrent relations technique, Proceedings of the 1993 international symposium on Symbolic and algebraic computation, p.42-46, July 06-08, 1993, Kiev, Ukraine
	V. G. Ganzha , E. V. Vorozhtsov , J. A. van Hulzen, A new symbolic-numeric approach to stability analysis of difference schemes, Papers from the international symposium on Symbolic and algebraic computation, p.9-15, July 27-29, 1992, Berkeley, California, United States
	V. G. Ganzha , E. V. Vorozhtsov , J. Boers , J. A. van Hulzen, Symbolic-numeric stability investigations of Jameson's schemes for the thin-layer Navier-Stokes equations, Proceedings of the international symposium on Symbolic and algebraic computation, p.234-241, July 20-22, 1994, Oxford, United Kingdom
	W. N. Borst , V. V. Goldman , J. A. van Hulzen, GENTRAN 90: a REDUCE package for the generation of Fortran 90 code, Proceedings of the international symposium on Symbolic and algebraic computation, p.45-51, July 20-22, 1994, Oxford, United Kingdom
	J. H. J. Molenkamp , V. V. Goldman , J. A. van Hulzen, An improved approach to automatic error cumulation control, Proceedings of the 1991 international symposium on Symbolic and algebraic computation, p.414-418, July 15-17, 1991, Bonn, West Germany
	Johannes Grabmeier , Erich Kaltofen , Volker Weispfenning, Cited References, Computer algebra handbook, Springer-Verlag New York, Inc., New York, NY, 2003
	K. A. Broughan , G. Keady , T. D. Robb , M. G. Richardson , M. C. Dewar, Some symbolic computing links to the NAG numeric library, ACM SIGSAM Bulletin, v.25 n.3, p.28-37, July 1991