Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Current developments in LISP

  • Conference paper
  • First Online:
EUROCAL '85 (EUROCAL 1985)

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

Included in the following conference series:

  • 138 Accesses

Abstract

This paper is divided into three sections. The first gives an overview of the presently available and emerging dialects of LISP and how design decisions within them affect symbolic algebra. The second discusses recent developments, in particular, Common LISP, subsetting, portability, pure language research and mixed paradigm systems. The third part is devoted to what is happening in specialised LISP hardware in Japan, in the United States and in Europe. The subject matter of each of these three sections is so tightly interwoven however that the detailed discussion of some material may be postponed until a later section although to some readers it might seem appropriate for inclusion earlier. It should also be mentioned that this is a survey: therefore the items have been selected for mention on the grounds of interest rather than completeness.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Baker, H. G., Shallow Binding in LISP 1.5, CACM July 1978, Vol 21, No. 7, pp565–569

    Google Scholar 

  2. Blair, F. W., The Definition of LISP 1.8 + 0.3i, IBM Thomas J Watson Research Center Internal Report

    Google Scholar 

  3. Bobrow, D. G. & Wegbreit, B., A Stack Model and Implementation of Multiple Environments, CACM October 1973, Vol 16, No. 10, pp591–603

    Google Scholar 

  4. Bobrow, D. G. & Stefik, M., The LOOPS Manual, Xerox Corporation (PARC), 1983

    Google Scholar 

  5. Bowen, D. L., Byrd, L. M., & Clocksin, W. F., A Portable Prolog Compiler, Logic Programming Workshop '83, (Universidade Nova de Lisboa) June 1983, pp. 74–83

    Google Scholar 

  6. Brooks, R. A. & Gabriel, R. P., A Critique of Common LISP, Proceedings of 1984 ACM Symposium on LISP and Functional Programming, pp1–8

    Google Scholar 

  7. Chailloux, J., Devin, M. & Hullot, J-M., LeLISP, a Portable and Efficient LISP System, Proceedings of 1984 ACM Symposium on LISP and Functional Programming, pp113–122

    Google Scholar 

  8. Chikayama, T., UTILISP Manual, Technical Report METR 81–6, Mathematical Engineering Section, Faculty of Engineering, University of Tokyo

    Google Scholar 

  9. Fateman, R. J., The MACSYMA Reference Manual for the VAX, University of California at Berkeley, 1980

    Google Scholar 

  10. Fitch, J. P. & Norman, A. C., Implementing LISP in a High-Level Language, Software Practice and Experience 1977, vol 7, pp713–725

    Google Scholar 

  11. Fitch, J. P & Padget, J. A., A Pure And Really Simple Initial Functional Algebraic Language, Proceedings of EUROSAM '84, published as Springer Verlag (LNCS) #174, pp148–158

    Google Scholar 

  12. Foderaro, J. K. & Slower, K. L., The Franz LISP Manual, University of California at Berkeley, 1980

    Google Scholar 

  13. Frick, I. B., SHEEP User's Manual, Institute of Theoretical Physics, University of Stockholm, Sweden, 1975

    Google Scholar 

  14. Friedman, D. P., Haynes, C. T., Kohlbecker, E. & Wand, M., The Scheme-84 Reference Manual, Indiana University Technical Report No. 153

    Google Scholar 

  15. Gabriel, R. P., Benchmarking LISP Systems, Stanford University, Dept. of Computer Science, Technical Report

    Google Scholar 

  16. Goto, E., + 8, Design of a LISP machine — FLATS, Proceedings of 1982 ACM Symposium on LISP and Functional Programming, pp208–215

    Google Scholar 

  17. Goto, E. & Shimizu, K., Architecture of a Josephson Computer (FLATS-2), Proceedings of RSYMSAC II, RIKEN, Tokyo, August 1984

    Google Scholar 

  18. Griss, M. L., Benson, E. & Maguire, G. Q., PSL: A Portable LISP System, Proceedings of 1982 ACM Symposium on LISP and Functional Programming, pp88–97

    Google Scholar 

  19. Hayashi, H., Hattori, A. & Akimoto, H., ALPHA: A High-perfomance LISP Machine Equipped with a new Stack Structure and Garbage Collection System, IEE 1983 Conference Proceedings of the 10th Annual International Symposium on Computer Architecture, pp342–348

    Google Scholar 

  20. Hearn, A. C., REDUCE-3 Manual, Rand Corporation, Santa Monica, USA

    Google Scholar 

  21. Hibino, Y., Watanabe, K. & Osato, N., The architecture of LISP machine ELIS. SIGSYM report, 24, IPSJ, June 1983

    Google Scholar 

  22. Jenks, R. D., A Primer: 11 Keys to new Scratchpad, Proceedings of EUROSAM '84, published by Springer Verlag (LNCS) #174, pp123–147

    Google Scholar 

  23. Kahn, K. & Carlsson, M., How to Implement Prolog on a LISP Machine, in Implementations of Prolog, edited by J. A. Campbell, Ellis Horwood, 1984

    Google Scholar 

  24. Marti, J. B., The UOLISP Reference Manual, North-West Computer Algorithms, Santa Monica, CA

    Google Scholar 

  25. Marti, J. B., Private communication

    Google Scholar 

  26. Mellish, C. S. & Hardy, S., Integrating Prolog in the POPLOG Environment, in Implementations of Prolog, edited by J. A. Campbell, Ellis Horwood, 1984

    Google Scholar 

  27. Moon, D., Garbage collection in a Large LISP System, Proceedings of 1984 ACM Symposium on LISP and Functional Programming, pp235–246

    Google Scholar 

  28. Moses, J., The function of FUNCTION, SIGSAM Bulletin 1970, Vol 4. pp13–27

    Google Scholar 

  29. Novak, G. S., GLISP User's Manual, University of Texas at Austin, Dept. of Computer Sciences, Technical Report TR-83-25

    Google Scholar 

  30. Okuno, H. G., Takeuchi, I., Osato, N., Hibino, Y. & Watanabe, K., TAO: A Fast Interpreter-Centered LISP System on LISP Machine ELIS, Proceedings of 1984 ACM Symposium on LISP and Functional Programming, pp140–149

    Google Scholar 

  31. Padget, J. A. & Fitch, J. P., The Rationale of LIER: A Considered LISP, Proceedings of RSYMSAC II, RIKEN, Tokyo, August 1984

    Google Scholar 

  32. Pavelle, R., & Wang, P. S., MACSYMA from F to G, to appear in Vol 1. #1 of Journal of Symbolic Computation, North Holland (Amsterdam).

    Google Scholar 

  33. Pitman, K. M., The Revised MACLISP Manual, MIT Al-Lab, May 1983

    Google Scholar 

  34. Smith, B. C., Reflection and Semantics in LISP, Proceedings 1984 ACM POPL Conference, pp23–35

    Google Scholar 

  35. Steele, G. L., Common LISP Reference Manual, Digital Press, Cambridge, Massachussets

    Google Scholar 

  36. Sussman, G. J. & Steele, G. L., SCHEME: An Interpreter for Extended Lambda Calculus, MIT-AI Memo #349

    Google Scholar 

  37. Teitelman, W., The InterLISP Manual, Xerox Corporation (PARC), 1978

    Google Scholar 

  38. Warren, D. H. D., An Improved Prolog Implementation which Optimises Tail Recursion. Research Paper 156. Department of Artifical Intelligence, University of Edinburgh, 1980

    Google Scholar 

  39. Weinreb, D. & Moon, D., LISP Machine Manual, MIT Al-Lab, 1981

    Google Scholar 

  40. White, J. L., NIL — A Perspective, Proceedings 1979 MACSYMA User's Conference, pp190–199

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Mathematics, University of Bath, BA2 7AY, Bath, AVON, England

    Julian Padget

Authors
  1. Julian Padget
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bruno Buchberger

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Padget, J. (1985). Current developments in LISP. In: Buchberger, B. (eds) EUROCAL '85. EUROCAL 1985. Lecture Notes in Computer Science, vol 203. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15983-5_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-15983-5_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15983-4

  • Online ISBN: 978-3-540-39684-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation