- AviR94.Avitzur, R., private communicationGoogle Scholar
- BrnS73.Brown, W.S., ALTRAN Users Manual, Bell Laboratories, Murray Hill, 1973.Google Scholar
- BucB91.Buchberger, B., Groebner Bases in Mathematica: Enthusiasm and Frustration, Technical Report, RISC- Linz Series no. 91-11, 1991.Google Scholar
- CanJ84.Cannon, J.J., An Introduction to the Group Theory Language CAYLEY, in Computational Group Theory, ed. M. Atkinson, Academic Press NY 1984.Google Scholar
- CoWo81.Cole, C.A. and Wolfram, S., SMP: A Symbolic Manipulation Program, Proceedings of SYMSAC '81, P. Wang, ed., ACM 1981. Google ScholarDigital Library
- CGG91a.Char, B.W., Geddes, K.O., Gonnet, G.H., Leong, B.L., Monagan, M.B., and Watt, S.M., Maple V Library Reference Manual, Springer-Verlag, 1991Google ScholarCross Ref
- CGG91b.Char, B.W., Geddes, K.O., Gonnet, G.H., Leong, B.L., Monagan, M.B., and Watt, S.M., Maple V Language Reference Manual, Springer-Verlag, 1992Google Scholar
- DDoJ93.The Multi-Paradigm Man, interview with S. Wolfram, Dr. Dobbs Journal, 1993.Google Scholar
- GoRo83.Goldberg, A. and Robson, D., Smalltalk-80: The Language and its Implementation, Addison- Wesley, 1983. Google ScholarDigital Library
- GrMo93.Gruntz, D. and Monagan, M., Introduction to Gauss, Maple Tech: The Maple Technical Newsletter, Issue 9, Spring 1993, pp. 23-45.Google Scholar
- GruD93.Gruntz, D., Groebner Bases in Gauss, MapleTech: The Maple Technical Newsletter, Issue 9, Spring 1993, pp. 36-46.Google Scholar
- FaIv68.Falkoff, A.D., and Iverson, K.E., APL/360 User's Manual, IBM Thomas j. Watson Research Center, 1968.Google Scholar
- GrJe71.Griesmer, J.H. and Jenks, R.D., SCRATCH- PAD/l: An interactive facility for symbolic mathematics, Proceedings of the Second Symposium for Symbolic and Algebraic Manipulation, S.R. Petrick, Ed., ACM, 1971. Google ScholarDigital Library
- HrnT71.Hearn, A.C., Reduce 2, A System and Language for Algebraic Manipulation, Proceedings of the Second Symposium for Symbolic and Algebraic Manipulation, S.R. Petrick, Editor, ACM, 1971. Google ScholarDigital Library
- HuJo92.Hudak, P., Jones, S. P., Wadler, P., et al, Report on the Programming Language Haskell: A Non-strict, Purely Functional Language, Version 1.2, March 1, 1992.Google Scholar
- JenR79.Jenks, R. D. MODLISP: An Introduction, EU- ROSAM ~79~ Lecture Notes in Computer Science, ~72, G. Goes and J. Hartmanis, Editors, Springer-Verlag, NY, 1979. Google ScholarDigital Library
- JeSu87.Jenks, R. D. and Surer, R. S., The Type Inference and Coercion Facilities in the Scratchpad Interpreter, Proceedings of the SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques, SIGPLAN Notices 22, 7, pp. 56-63. Google ScholarDigital Library
- JeSu92.Jenks, R.D., and Surer, R.S., AXIOM: The Scientific Computation System, Springer-Verlag and NAG, Ltd, 1992. Google ScholarDigital Library
- JeTr81.Jenks, R.D., and Trager, B.M., A Language for Computational Algebra, Proceedings of SYMSAC '81, ACM, 1981 (also published in SIGPLAN Notices, November 1981 and IBM Research Report RC 8930) Google ScholarDigital Library
- LiGu77.Liskov, B. and Guttag, J., Abstraction and Specification in Program Development, MIT Press, 1986. Google ScholarDigital Library
- LosR74.Lees, R., Toward a Formal implementation of Computer Algebra, Proceedings of EUROSAM '7~, SIGSAM Bulletin, Vol. 8, Number 3, 1974. Google ScholarDigital Library
- MaFa71.Martin, W.A. and Fateman, R.J., The MAC- SYMA System, Proceedings of the Second Symposium for Symbolic and Algebraic Manipulation, S.R. Petrick, Editor, ACM, 1971. Google ScholarDigital Library
- McCa60.McCarthy, J., et al, LISP 1.5 Programmers Manual, Cambridgy, MA, The MIT Press, 1965. Google ScholarDigital Library
- MiTH90.Milner, R., Torte, M., and Harper, R., The Definition of Standard ML, MIT Press, 1990. Google ScholarDigital Library
- MonM94a.Monagan, M., Gauss: a Parameterized Domains of Computation System with Support for Signature Functions, Proceedings of DISCO '93. Google ScholarDigital Library
- MonM94b.Monagan, M., private communicationGoogle Scholar
- MosJ71.Moses, J., Algebraic Simplification: A Guide for the Perplexed, Proceedings of the Second Symposium for Symbolic and Algebraic Manipulation, S.R. Petrick, Editor, ACM, 1971. Google ScholarDigital Library
- SteG84.Steele, G.L. Jr., Common LISP: The Language, Digital Press, 1984 Google ScholarDigital Library
- StrB92.Stroustrup, B., The C-bq- Programming Language, Second Edition, Addison-Wesley, April, 1992. Google ScholarDigital Library
- Vor94.Vorkoetter, S.M., OpenMath: Preliminary Report, Waterloo Maple Software, 1994.Google Scholar
- WaDo94.Watt, S. M., Dooley, S. S., Morrison, S. C., Steinbach, J. M., and Sutor, R. S., A~ User's Guide, 1993.Google Scholar
- WaBD94a.Watt, S.M., Broadbery, P.A., Dooley, S.S., Iglio, P., Morrison, S.C., Steinbach, J.M., Sutor, R.S., A First Report on the A~ Compiler, this proceedings. Google ScholarDigital Library
- WaBD94b.Watt, S.M., Broadbery, P.A., Dooley, S.S., Iglio, P., Morrison, S.C., Steinbach, J.M., Sutor, R.S., Atl User's Guide, v35.0, NAG Ltd, 1994.Google Scholar
- WaSM94.Watt, S. M., Steinbach, J. M., Morrison, S. C., and Broadbery, P.A. FOAM: A First Order Abstract Machine, v3.5, IBM Research Report RC 19528, 1994.Google Scholar
- WolS92.Wolfram, S., Mathematica: A System for Doing Mathematics By Computer Second Edition, Addison-Wesley, 1991. Google ScholarDigital Library
Index Terms
- How to make AXIOM into a scratchpad
Recommendations
Scratchpad Sharing in GPUs
General-Purpose Graphics Processing Unit (GPGPU) applications exploit on-chip scratchpad memory available in the Graphics Processing Units (GPUs) to improve performance. The amount of thread level parallelism (TLP) present in the GPU is limited by the ...
Endurance-Aware Allocation of Data Variables on NVM-Based Scratchpad Memory in Real-Time Embedded Systems
Nonvolatile memory (NVM) has many benefits compared to the traditional static RAM, such as improved reliability and reduced power consumption, but it has long write latency and limited write endurance. Scratchpad memory (SPM) is software-managed small on-...
Dynamic scratchpad memory management for code in portable systems with an MMU
In this work, we present a dynamic memory allocation technique for a novel, horizontally partitioned memory subsystem targeting contemporary embedded processors with a memory management unit (MMU). We propose to replace the on-chip instruction cache ...
Comments