Skip to main content

Compact delivery support for REDUCE

  • Conference paper
  • First Online:
  • 210 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 722))

Abstract

The CSL Lisp system is one designed primarily for delivering Lisp applications to users. It thus emphasises robustness, portability and small size rather than support for an integrated programming environment. Both portability and compactness are served by making CSL compile the bulk of applications code into a compact byte-code instruction set which is then emulated. The speed penalties inherent in this are offset by providing instrumentation that makes it easy to identify code hot-spots, and a second compiler that translates critical parts of the original Lisp into C for incorporation in the CSL kernel. For use with REDUCE it is found that compiling about 5% of the source code into C led to overall performance competetive with other Lisp implementations.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bennett, J.P. A Methodology for Automated Design of Computer Instruction Sets: PhD Thesis, University of Cambridge, 1988

    Google Scholar 

  2. Fitch, J.P. and Norman, A.C. Implementing LISP in a High Level Language: Software Practice and Experience, 7, 713–725, 1977

    Google Scholar 

  3. Fitch, J.P. and Norman, A.C. Cambridge Lisp M68000 manual: University of Bath and Metacomco plc, 1984

    Google Scholar 

  4. Fitch, J.P. A Delivery System for REDUCE: Proceedings of ISSAC90, Tokyo, pp 76–81, ACM and Addison Wesley, 1991

    Google Scholar 

  5. Fitch, J.P. private communication, 1991

    Google Scholar 

  6. Griss, M.L., Benson, E. and Maguire, G.Q. PSL: A Portable LISP System: Proceedings 1982 ACM Symposium on LISP and Functional Programming, 1982

    Google Scholar 

  7. Hearn, A.C. REDUCE User's Manual, Version 3.4: RAND Publication CP 78, July 1991

    Google Scholar 

  8. Hearn, A.C. The REDUCE Program for Computer Algebra: Proceedings of the Third International Colloquium on Advanced Computing Methods in Theoretical Physics, 1973

    Google Scholar 

  9. Hearn, A.C. Standard LISP: SIGPLAN Notices, ACM, 4–9, September 1969, Reprinted in SIGSAM Bulletin, ACM, 13, 28–49, 1969

    Google Scholar 

  10. Marti, J. RISE: The RAND Integrated Simulation Environment: in Distributed Simulation: Unger B. and Jefferson, D. (eds), Simulation Councils, Inc., San Diego, California, 1988.

    Google Scholar 

  11. Marti, J. RLISP'88: An Evolutionary Approach to Program Design and Re-use: World Scientific Publishing Company, 1993

    Google Scholar 

  12. Marti, J. et al Standard Lisp Report: University of Utah, 1978

    Google Scholar 

  13. Norman, A.C. and Moore, P.M.A. Implementing a polynomial factorization package: Proceedings SYMSAC-81, Snowbird, Utah. ACM, 1981

    Google Scholar 

  14. Norman, A.C. and Mycroft, A. The Norcroft C compiler: versions as used with the Acorn Archimedes, Inmos Transputer, SPARC, mips, IBM mainframe and other processors

    Google Scholar 

  15. Steele, G.L. Common LISP, the language: (2nd edition) Digital Press, 1990

    Google Scholar 

  16. Terashima, M., Hybrid Garbage Collection: draft report, collection of comparative benchmarks: private communication.

    Google Scholar 

  17. Yuasa, T. and Hagiya, M. Kyoto Common Lisp Report: Teikoku Insatsu, Kyoto, 1985

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Alfonso Miola

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Norman, A.C. (1993). Compact delivery support for REDUCE. In: Miola, A. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1993. Lecture Notes in Computer Science, vol 722. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013187

Download citation

  • DOI: https://doi.org/10.1007/BFb0013187

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57235-0

  • Online ISBN: 978-3-540-47985-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics