A first report on the A# compiler

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A first report on the A# compiler

Full text

Pdf (771 KB)

Source

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

Oxford, United Kingdom

Pages: 25 - 31

Year of Publication: 1994

ISBN:0-89791-638-7

Authors

Stephen M. Watt	IBM Thomas J. Watson Research Center, P.O. BOX 218, Yorktown Heights, NY
Peter A. Broadbery	IBM Thomas J. Watson Research Center, P.O. BOX 218, Yorktown Heights, NY
Samuel S. Dooley	IBM Thomas J. Watson Research Center, P.O. BOX 218, Yorktown Heights, NY
Pietro Iglio	IBM Thomas J. Watson Research Center, P.O. BOX 218, Yorktown Heights, NY
Scott C. Morrison	Autodesk, Multimedia Division, 2320 Marinship Way, Sausalito, CA and IBM Thomas J. Watson Research Center, P.O. BOX 218, Yorktown Heights, NY
Jonathan M. Steinbach	IBM Thomas J. Watson Research Center, P.O. BOX 218, Yorktown Heights, NY
Robert S. Sutor	IBM Thomas J. Watson Research Center, P.O. BOX 218, Yorktown Heights, NY

Sponsor

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 11, Citation Count: 12

Additional Information:

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/190347.190356 What is a DOI?

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	American National Standard Programming Language C, ANSI X3.159-1989, American National Standards Institute, 1989.
	2	Hans-Juergen Boehm , Mark Weiser, Garbage collection in an uncooperative environment, Software—Practice & Experience, v.18 n.9, p.807-820, September 1988 [doi>10.1002/spe.4380180902]
	3	Bigatti, Caboara, Robbiano, On the Computation of Hilbert~ Poincare Series, AAECC vol 2, Jan 1991, pp 21-33.
	4	S.R. Bourne and J.R. Horton, The CAMAL System Manual,, Computer Laboratory, Cambridge, 1971.
	5	W.S. Brown, The ALPAK System for Nonnumerical Algebra on a Digital Computer, Bell Systems Tech. Journal, Murray Hill, 1963.
	6	W.S. Brown, ALTRAN User's Manual, Bell Laboratories, Murray Hill, 1973.
	7	J. Cannon and C. Playoust, An Introduction to MAGMA University of Sydney, 1993.
	8	Bruce W. Char , Keith O. Geddes , W. Morven Gentleman , Gaston H. Gonnet, The design of maple: A compact, portable and powerful computer algebra system, Proceedings of the European Computer Algebra Conference on Computer Algebra, p.101-115, March 28-30, 1983
	9	B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan and S.M. Watt, Maple V Language Reference Manual, Springer Verlag, 1991.
	10	G. E. Collins, PM, a system for polynomial manipulation, Communications of the ACM, v.9 n.8, p.578-589, Aug. 1966 [doi>10.1145/365758.365770]
	11	George E. Collins, The SAC-1 system: An introduction and survey, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.144-152, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806279]
	12	C. Engelman, MATHLAB: A Program for On-line Assistance in Symbolic Computations, Proceedings of FJCC, 1965.
	13	A.C. Hearn, Reduce 3 User's Manual, version 3.3 Rand Corporation, 1987.
	14	Richard D. Jenks , Robert Sutor, AXIOM: the scientific computation system, Springer-Verlag New York, Inc., New York, NY, 1992
	15	B. W. Kernighan , D. M. Ritchie, The C programming language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1978
	16	J. Purtilo, A Software Interconnection Technology, UMCP, Computer Science Department TR-2139, 1988.
	17	A. Rich and D. Stoutemyer, DERIVE Reference Manual, SoftWarehouse, 1992.
	18	J. Marti , A. C. Hearn , M. L. Griss , C. Griss, Standard LISP report, ACM SIGPLAN Notices, v.14 n.10, p.48-68, October 1979 [doi>10.1145/953997.953999]
	19	Guy L. Steele Jr.and G.J. Sussman, The Revised Report on SCHEME: A Dialect of LISP, MIT Artificial Intelligence Lab Memo 452, 1978.
	20	M. SchSnert, GAP- Groups, Algorithms, and Programs, Lehrstuhl D fiir Mathematik, Rheinisch Westf~lische Technische Hochschule, Aachen, Germany, Third edition, 1993.
	21	Guy L. Steele, Jr., Common LISP: the language (2nd ed.), Digital Press, Newton, MA, 1990
	22	Bjarne Stroustrup, The C++ programming language (2nd ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1991
	23	MACSYMA Reference Guide, Symbolics Inc, 1985.
	24	S.M. Watt, A~ Language Reference, V 0.35, IBM Research Report 19530, 1994.
	25	S.M. Watt, P.A. Broadbery, S.S. Dooley, P. Iglio, S.C. Morrison, J.M. Steinbach and R.S. Sutor, A~ User's Guide, NAG Ltd, 1994.
	26	S.M. Watt, P.A. Broadbery, P. Iglio, S.C. Morrison and J.M. Steinbach, Foam: A First Order Abstract Machine, V 0.35, IBM Research Report RC 19528, 1994.
	27	S.M. Watt, P.A. Broa~tbery, S.S. Dooley, P. Iglio, S.C. Morrison, J.M. Steinbach and R.S. Sutor, A First Report on the A~ Compiler (including benchmarks), IBM Research Report RC 19529, 1994.
	28	Stephen Wolfram, Mathematica: a system for doing mathematics by computer (2nd ed.), Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1991
	29	Mathlinlc, Wolfram Research Inc.
	30	OpenMath, Workshop notes, ETH Ziirich, 1993.

CITED BY 12

	Martin Dunstan , Tom Kelsey , Steve Linton , Ursula Martin, Lightweight formal methods for computer algebra systems, Proceedings of the 1998 international symposium on Symbolic and algebraic computation, p.80-87, August 13-15, 1998, Rostock, Germany
	P. A. Broadbery , T. Gómez-Díaz , S. M. Watt, On the implementation of dynamic evaluation, Proceedings of the 1995 international symposium on Symbolic and algebraic computation, p.77-84, July 10-12, 1995, Montreal, Quebec, Canada
	Angel Díaz , Erich Kaltofen, FOXBOX: a system for manipulating symbolic objects in black box representation, Proceedings of the 1998 international symposium on Symbolic and algebraic computation, p.30-37, August 13-15, 1998, Rostock, Germany
	Laurent Bernardin , Bruce Char , Erich Kaltofen, Symbolic computation in Java: an appraisement, Proceedings of the 1999 international symposium on Symbolic and algebraic computation, p.237-244, July 28-31, 1999, Vancouver, British Columbia, Canada
	Cosmin E. Oancea , Stephen M. Watt, Parametric polymorphism for software component architectures, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Angel Díaz , Erich Kaltofen, On computing greatest common divisors with polynomials given by black boxes for their evaluations, Proceedings of the 1995 international symposium on Symbolic and algebraic computation, p.232-239, July 10-12, 1995, Montreal, Quebec, Canada
	Robert M. Corless , Patrizia M. Gianni , Barry M. Trager , Stephen M. Watt, The singular value decomposition for polynomial systems, Proceedings of the 1995 international symposium on Symbolic and algebraic computation, p.195-207, July 10-12, 1995, Montreal, Quebec, Canada
	Stéphane Dalmas , Marc Gaëtano , Stephen Watt, An OpenMath 1.0 implementation, Proceedings of the 1997 international symposium on Symbolic and algebraic computation, p.241-248, July 21-23, 1997, Kihei, Maui, Hawaii, United States
	T. Mulders , A. Storjohann, On lattice reduction for polynomial matrices, Journal of Symbolic Computation, v.35 n.4, p.377-401, April 2003
	Johannes Grabmeier , Erich Kaltofen , Volker Weispfenning, Cited References, Computer algebra handbook, Springer-Verlag New York, Inc., New York, NY, 2003
	Richard D. Jenks , Barry M. Trager, How to make AXIOM into a scratchpad, Proceedings of the international symposium on Symbolic and algebraic computation, p.32-40, July 20-22, 1994, Oxford, United Kingdom
	Stephen M. Watt, A technique for generic iteration and its optimization, Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, September 16-16, 2006, Portland, Oregon, USA