LELISP, a portable and efficient LISP system

ABSTRACT

This paper describes the LELISP system, developed at the VLSI project at INRIA, which has been designed for efficiency, easy transport and large systems construction. It also presents the programming environment (including an object oriented extension, a meta pretty printer, a parser generator, a universal editor) and some current applications.

REFERENCES

• 1: Audoire L., COLORIX 90, notice de présentation, rapport interne projet VLSI, INRIA, 1983.
• 2: Berry G., Curien P.-L., Sequential algorithms on concrete data structures: the kernel of the applicative language CDS, Acts of the French-American symposium on semantics, Fontainebleau 1981.
• 3: Berry G., CXYACC, a parser generator, (à paraître), Ecole des Mines, Sophia Antipolis, 1983.
• 4: Bobrow D.G., Stefik M.J., The Loops Manual, Memo KB-VLSI-81-13, Xerox PARC.
• 5: Burke, Carette NIL Notes for Release O, Massachusetts Institute of Technology, December 1982.
• 6: Chailloux J, A Vlisp interpreter on the virtual VCMC1 machine, LISP Bulletin 2, July 1978.
• 7: Chailloux J., Le modèle Vlisp: description, évaluation et interprétation, Thèse de 3ème cycle, Université de Paris VI, Avril 1980.
• 8: Chailloux J., LELISP 80 version 12, manuel de référence, Rapport Technique no 27, INRIA, Juillet 83.
• 9: Chailloux J., La machine virtuelle LLM3, internal report of the VLSI project, November 1983.
• 10: Chailloux J., Hullot J.-M., Levy J.-J., Vuillemin J., Le Système Lucifer d'aide àla conception de circuits intégrés, Rapport INRIA 196, Mars 1983.
• 11: Chailloux J., LELISP V15, Manuel de référence, Rapport INRIA, June 1984.
• 12: Pierre Cointe , Xavier Rodet, Formes: An object and time oriented system for music composition and synthesis, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.85-95, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802024]
• 13: Cousineau G., Huet G., Compilation de ML en LISP, in preparation.
• 14: Devin M., Le portage du système LELISP: mode d'emploi, (to appear), Ecole des Mines, Sophia Antipolis, 1983.
• 15: Donzeau-Gouge V., Huet G., Kahn G., Lang B., Levy J.-J., A Structure Oriented Program Editor: a first step toward computer assisted programming. International Computer Symposium, North Holland Publishing Co, (1975).
• 16: Fages F., Formes canoniques dans les algèbres booléennes, et application à la démonstration automatique en logique du premier ordre, thèse de 3ème cycle, Université Paris Sud, Octobre 1980.
• 17: Foderaro, Sklower, Franz LISP Manual, Univ. of California, Berkeley, Ca., September 1981.
• 18: Richard P. Gabriel , Larry M. Masinter, Performance of Lisp systems, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.123-142, August 15-18, 1982, Pittsburgh, Pennsylvania, United States [doi>10.1145/800068.802143]
• 19: Gallot L., Techniques informatiques dans la vérification des gardes technologiques des circuits intégrés, Thèse de troisième cycle, Octobre 1983, Université de Paris Sud, Orsay.
• 20: Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
• 21: Gordon, Milner, Newey, Morris, Wadsworth, A Metalanguage for Interactive Proof in LCF, Internal report CSR-16-77, department of Computer Science, University of Edimburgh, Sept. 1977.
• 22: Bernard S. Greenberg, Multics Emacs (Prose and Cons): A commercial text-processing system in Lisp, Proceedings of the 1980 ACM conference on LISP and functional programming, p.6-12, August 25-27, 1980, Stanford University, California, United States [doi>10.1145/800087.802784]
• 23: Greussay P., Contribution à la définition interprétative et à l'implementation des lambda-langages Thèse d'Etat, Université de Paris VI, Novembre 1977.
• 24: Martin L. Griss , Eric Benson , Gerald Q. Maguire, Jr., PSL: A Portable LISP System, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.88-97, August 15-18, 1982, Pittsburgh, Pennsylvania, United States [doi>10.1145/800068.802139]
• 25: Heintz, Un extracteur de circuits intégrés, thèse de 3ème cycle, Paris Sud, Octobre 1982.
• 26: Huet G., Hullot J., Proofs by induction in Equational theories with constructors, JCSS, Vol 25, no 2, October 1982.
• 27: Hullot J.-M., Compilation de formes canoniques dans des théories équationnelles, thèse de 3ème cycle, Universite Paris Sud, Octobre 1980.
• 28: Hullot J.-M., CEYX, a Multiformalism Programming Environment, IFIP83, R.E.A. Mason (ed), North Holland, Paris 1963.
• 29: Hullot J.-M., CEYX, BIGMACS & Co, The Manual, INRIA report to appear (1984).
• 30: Knuth D., Bendix P., Simple word problems in Universal Algebra, in Computational problems in Abstract Algebra, Ed. Leech J., Pergamon Press, pp. 263-297 1970.
• 31: Johnson S. C., Yacc: Yet another compiler compiler, Comp. Sci. Tech. Rep. No. 32, Bell laboratories, Murray Hill, New Jersey.
• 32: LeChenadec Ph., Formes canoniques dans les algèbres finiment présentées, thèse de 3ème cycle, Université Paris Sud, 1983.
• 33: Levy J.-J., On the lucifer system, Prentice Hall, University of Bristol, B. Rondel, Ph. Treleaven Ed.
• 34: John McCarthy, LISP 1.5 Programmer's Manual, The MIT Press, 1962
• 35: Moon D., Maclisp Reference Manual, MIT Cambridge (1974).
• 36: Paulson L., Recent Developments in LCF: examples of structural induction, Technical report no. 34, University of Cambridge, England.
• 37: Emmanuel Saint-James, Recursion is more efficient than iteration, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.228-234, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802039]
• 38: Serlet B., Description structurelle et simulation de circuits intégrés, thèse de 3ème cycle, Université Paris Sud, Janvier 1984.
• 39: Steel G., Common LISP Reference Manual, Spice Project, Carnegie Mellon University, November 1982.
• 40: Tim Teitelbaum , Thomas Reps, The Cornell program synthesizer: a syntax-directed programming environment, Communications of the ACM, v.24 n.9, p.563-573, Sept. 1981 [doi>10.1145/358746.358755]
• 41: Teitelman W, Interlisp Reference Manual, Xerox PARC, (1976).
• 42: Vuillemin J., Chailloux J., Aritrary precision rational arithmetics in LELISP. raport INRIA, to appear, 1984.
• 43: Waters, R.C., Gprint: a LISP Pretty Printer Providing Extensive User Format Control Mechanisms. MIT/AIM-611, October 81.
• 44: Daniel Weinreb, Lisp machine manual, Massachusetts Institute of Technology, 1981
• 45: White J, NIL - a perspective, Proc of the Macsyma User's conf., Washington D.C., June 1979.

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.1 PROCESSOR ARCHITECTURES
      C.1.3 Other Architecture Styles

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.6 Programming Environments

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.1 Project and People Management
          Subjects: Systems analysis and design

General Terms:
Performance