LELISP, a portable and efficient LISP system

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.

[1]  Warren Teitelman,et al.  The interlisp reference manual , 1974 .

[2]  Jerome Chailloux.  Technical notes: a VLISP interpreter on the VCMC1 machine , 1978, LISPB.

[3]  Robin Milner,et al.  A Metalanguage for interactive proof in LCF , 1978, POPL.

[4]  Murray Hill,et al.  Yacc: Yet Another Compiler-Compiler , 1978 .

[5]  B. Greenberg.  Prose and CONS - Multics Emacs: A Commercial Text-processing System in LISP , 1980, LISP Conference.

[6]  Gérard P. Huet,et al.  Proofs by induction in equational theories with constructors , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[7]  Bernard S. Greenberg.  Multics Emacs (Prose and Cons): A commercial text-processing system in Lisp , 1980 .

[8]  David A. Moon,et al.  The Lisp Machine manual , 1981, SGAR.

[9]  Richard C. Waters.  GPRINT: A LISP Pretty Printer Providing Extensive User Format Control Mechanism , 1981 .

[10]  Thomas Reps,et al.  Programming Techniques and Data Structures , 1981 .

[11]  Martin L. Griss,et al.  PSL: A Portable LISP System , 1982, LFP '82.

[12]  Larry Masinter,et al.  Performance of Lisp systems , 1982, LFP '82.

[13]  Lawrence C. Paulson.  Recent developments in LCF: examples of structural induction , 1983 .

[14]  D. Knuth,et al.  Simple Word Problems in Universal Algebras , 1983 .

[15]  J. Hullot,et al.  Le systeme LUCIFER d'aide a la conception de circuits integres , 1983 .

[16]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[17]  E. Saint-James.  Recursion is more efficient than iteration , 1984, LFP '84.

[18]  Xavier Rodet,et al.  Formes: An object and time oriented system for music composition and synthesis , 1984, LFP '84.