Advertisement

Current developments in LISP

  • Julian Padget
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 203)

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.

Keywords

Functional Programming Environment Capture Common LISP Xerox Corporation Machine Project 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Baker, 1978]
    Baker, H. G., Shallow Binding in LISP 1.5, CACM July 1978, Vol 21, No. 7, pp565–569Google Scholar
  2. [Blair, 1978]
    Blair, F. W., The Definition of LISP 1.8 + 0.3i, IBM Thomas J Watson Research Center Internal ReportGoogle Scholar
  3. [Bobrow & Wegbreit, 1973]
    Bobrow, D. G. & Wegbreit, B., A Stack Model and Implementation of Multiple Environments, CACM October 1973, Vol 16, No. 10, pp591–603Google Scholar
  4. [Bobrow & Stefik, 1983]
    Bobrow, D. G. & Stefik, M., The LOOPS Manual, Xerox Corporation (PARC), 1983Google Scholar
  5. [Bowen et al., 1983]
    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–83Google Scholar
  6. [Brooks & Gabriel, 1984]
    Brooks, R. A. & Gabriel, R. P., A Critique of Common LISP, Proceedings of 1984 ACM Symposium on LISP and Functional Programming, pp1–8Google Scholar
  7. [Chailloux, 1984]
    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–122Google Scholar
  8. [Chikayama, 1981]
    Chikayama, T., UTILISP Manual, Technical Report METR 81–6, Mathematical Engineering Section, Faculty of Engineering, University of TokyoGoogle Scholar
  9. [Fateman, 1980]
    Fateman, R. J., The MACSYMA Reference Manual for the VAX, University of California at Berkeley, 1980Google Scholar
  10. [Fitch & Norman, 1977]
    Fitch, J. P. & Norman, A. C., Implementing LISP in a High-Level Language, Software Practice and Experience 1977, vol 7, pp713–725Google Scholar
  11. [Fitch & Padget, 1984]
    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–158Google Scholar
  12. [Foderaro & Slower, 1980]
    Foderaro, J. K. & Slower, K. L., The Franz LISP Manual, University of California at Berkeley, 1980Google Scholar
  13. [Frick, 1975]
    Frick, I. B., SHEEP User's Manual, Institute of Theoretical Physics, University of Stockholm, Sweden, 1975Google Scholar
  14. [Friedman et al., 1984]
    Friedman, D. P., Haynes, C. T., Kohlbecker, E. & Wand, M., The Scheme-84 Reference Manual, Indiana University Technical Report No. 153Google Scholar
  15. [Gabriel, 1985]
    Gabriel, R. P., Benchmarking LISP Systems, Stanford University, Dept. of Computer Science, Technical ReportGoogle Scholar
  16. [Goto et al., 1982]
    Goto, E., + 8, Design of a LISP machine — FLATS, Proceedings of 1982 ACM Symposium on LISP and Functional Programming, pp208–215Google Scholar
  17. [Goto & Shimizu, 1984]
    Goto, E. & Shimizu, K., Architecture of a Josephson Computer (FLATS-2), Proceedings of RSYMSAC II, RIKEN, Tokyo, August 1984Google Scholar
  18. [Griss et al., 1982]
    Griss, M. L., Benson, E. & Maguire, G. Q., PSL: A Portable LISP System, Proceedings of 1982 ACM Symposium on LISP and Functional Programming, pp88–97Google Scholar
  19. [Hayashi et al., 1983]
    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–348Google Scholar
  20. [Hearn, 1983]
    Hearn, A. C., REDUCE-3 Manual, Rand Corporation, Santa Monica, USAGoogle Scholar
  21. [Hibino et al., 1983]
    Hibino, Y., Watanabe, K. & Osato, N., The architecture of LISP machine ELIS. SIGSYM report, 24, IPSJ, June 1983Google Scholar
  22. [Jenks, 1984]
    Jenks, R. D., A Primer: 11 Keys to new Scratchpad, Proceedings of EUROSAM '84, published by Springer Verlag (LNCS) #174, pp123–147Google Scholar
  23. [Kahn & Carlsson, 1984]
    Kahn, K. & Carlsson, M., How to Implement Prolog on a LISP Machine, in Implementations of Prolog, edited by J. A. Campbell, Ellis Horwood, 1984Google Scholar
  24. [Marti, 1984]
    Marti, J. B., The UOLISP Reference Manual, North-West Computer Algorithms, Santa Monica, CAGoogle Scholar
  25. [Marti, 1985]
    Marti, J. B., Private communicationGoogle Scholar
  26. [Mellish & Hardy, 1984]
    Mellish, C. S. & Hardy, S., Integrating Prolog in the POPLOG Environment, in Implementations of Prolog, edited by J. A. Campbell, Ellis Horwood, 1984Google Scholar
  27. [Moon, 1984]
    Moon, D., Garbage collection in a Large LISP System, Proceedings of 1984 ACM Symposium on LISP and Functional Programming, pp235–246Google Scholar
  28. [Moses, 1970]
    Moses, J., The function of FUNCTION, SIGSAM Bulletin 1970, Vol 4. pp13–27Google Scholar
  29. [Novak, 1983]
    Novak, G. S., GLISP User's Manual, University of Texas at Austin, Dept. of Computer Sciences, Technical Report TR-83-25Google Scholar
  30. [Okuno et al., 1984]
    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–149Google Scholar
  31. [Padget & Fitch, 1984]
    Padget, J. A. & Fitch, J. P., The Rationale of LIER: A Considered LISP, Proceedings of RSYMSAC II, RIKEN, Tokyo, August 1984Google Scholar
  32. [Pavelle & Wang, 1985]
    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, 1983]
    Pitman, K. M., The Revised MACLISP Manual, MIT Al-Lab, May 1983Google Scholar
  34. [Smith, 1984]
    Smith, B. C., Reflection and Semantics in LISP, Proceedings 1984 ACM POPL Conference, pp23–35Google Scholar
  35. [Steele, 1984]
    Steele, G. L., Common LISP Reference Manual, Digital Press, Cambridge, MassachussetsGoogle Scholar
  36. [Sussman & Steele, 1975]
    Sussman, G. J. & Steele, G. L., SCHEME: An Interpreter for Extended Lambda Calculus, MIT-AI Memo #349Google Scholar
  37. [Teitelman, 1978]
    Teitelman, W., The InterLISP Manual, Xerox Corporation (PARC), 1978Google Scholar
  38. [Warren, 1980]
    Warren, D. H. D., An Improved Prolog Implementation which Optimises Tail Recursion. Research Paper 156. Department of Artifical Intelligence, University of Edinburgh, 1980Google Scholar
  39. [Weinreb & Moon, 1981]
    Weinreb, D. & Moon, D., LISP Machine Manual, MIT Al-Lab, 1981Google Scholar
  40. [White, 1979]
    White, J. L., NIL — A Perspective, Proceedings 1979 MACSYMA User's Conference, pp190–199Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Julian Padget
    • 1
  1. 1.School of MathematicsUniversity of BathBath, AVONEngland

Personalised recommendations