Lisp and Symbolic Computation, Volume 4

Volume 4, Number 1, January 1991

• Robert R. Kessler, Jed J. Krohnfeldt: A Logical Approach to Program Analysis. 5-27 BibTeX
• James R. Larus: Compiling Lisp Programs for Parallel Execution. 29-99 BibTeX

Volume 4, Number 2, April 1991

• James S. Miller, Guillermo Juan Rozas: Free Variables and First-Class Environments. 107-141 BibTeX
• Timothy Koschmann: Designing a Browser to Support Multimethods and Method Combination. 143-154 BibTeX
• Richard J. Fateman: Endpaper: FRPOLY: A Benchmark Revisited. 155-164 BibTeX
• Book Review of A "Kinder, Gentler LISP?" COMMON LISP: A Gentle Introduction to Symbolic Computation" by David S. Touretzky. 165-177 BibTeX

Volume 4, Number 3, July 1991

• David Ungar, Randall B. Smith: SELF: The Power of Simplicity. 187-205 BibTeX
• Craig Chambers, David Ungar, Bay-Wei Chang, Urs Hölzle: Parents are Shared Parts of Objects: Inheritance and Encapsulation in SELF. 207-222 BibTeX
• Craig Chambers, David Ungar, Bay-Wei Chang, Urs Hölzle: Organizing Programs Without Classes. 223-242 BibTeX
• Craig Chambers, David Ungar, Elgin Lee: An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes. 243-281 BibTeX
• Craig Chambers, David Ungar: Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. 283-310 BibTeX

Volume 4, Number 4, March 1992

• María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider: An Approach to the DIN Kernel Lisp Definition. 319-369 BibTeX
• Henry G. Baker: Critique of DIN Kernel Lisp Definition Version 1.2. 371-398 BibTeX
• María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider: Answer to Baker's Remarks of July 1991 on Version 1.0. 399-404 BibTeX