Memory tracing of algebraic calculations

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Memory tracing of algebraic calculations

Full text

Pdf (738 KB)

Source

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

Zurich, Switzerland

Pages: 113 - 119

Year of Publication: 1996

ISBN:0-89791-796-0

Authors

Arthur Norman	Trinity College, Cambridge CB2 1TQ, England
John Fitch	School of Mathematical Sciences, University of Bath, Bath BA2 7AY, England

Sponsors

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation
SIGNUM: ACM Special Interest Group on Numerical Mathematics

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 13, Citation Count: 0

Additional Information:

references 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/236869.236916 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	ACORN COMPUTERS LTD. ARM C Compiler. Cambridge, England.
	2	BARTON, D., BOURNE, So R., AND FITCH, J~ P. An algebra system. Computer Journal 13 (1970), 32-39.
	3	BOURNE, S. R. Titan emulator. Tech. rep., University of Cambridge Mathematical Laboratory, 1968.
	4	COLYER, G., AND SPENCER, H. News need not be slow. In Proceedings of the Usenix Technical Conference (Winter 1987).
	5	John Fitch, REDUCE Meets CAMAL, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.104-115, April 13-15, 1992
	6	FITCH, J. P., AND GARNETT, D. J. Measurements on the Cambridge Algebra System. In Proceedings of the International Computing Symposium, Venice (1972), pp. 139-147.
	7	FITCH, J. P., AND MARTI, J. B. SLISP: A Standard LISP implemented in SDL. OPNote 37, University of Utah Department of Computer Science, 1978.
	8	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]
	9	Stephen B. Furber, VLSI RISC Architecture and Organization, Marcel Dekker, Inc., New York, NY, 1989
	10	HEARN, A. C., AND STROTTMAN, A. REDUCE home page. http://www.rrz.uni-koeln.de/REDUCE, 1996.
	11	Richard D. Jenks , Robert Sutor, AXIOM: the scientific computation system, Springer-Verlag New York, Inc., New York, NY, 1992
	12	Jed B. Marti , Anthony C. Hearn, REDUCE as a lisp benchmark, ACM SIGSAM Bulletin, v.19 n.3, p.8-16, August 1985 [doi>10.1145/1089411.1089413]
	13	MU5_GRouP. Private communication. (from a seminar in Cambridge circa 1976).
	14	A. C. Norman, Compact delivery support for REDUCE, Journal of Symbolic Computation, v.19 n.1-3, p.133-143, Jan./Feb./March 1995 [doi>10.1006/jsco.1995.1008]
	15	RICHARDS, M. R. BCPL information web page. http ://www. cl. cam. ac. uk/users/mr/BCPL, html, 1996.
	16	Richard L. Sites, Alpha architecture reference manual, Digital Press, Newton, MA, 1992