Table of contents for issues of Lisp and Symbolic Computation

Last update: Sat Oct 14 16:14:15 MDT 2017                Valid HTML 3.2!

Volume 1, Number 1, June, 1988
Volume 1, Number 2, September, 1988
Volume 2, Number 1, February, 1989
Volume 2, Number 2, June, 1989
Volume 2, Number 3/4, October, 1989
Volume 3, Number 1, January, 1990
Volume 3, Number 2, April, 1990
Volume 3, Number 3, September, 1990
Volume 3, Number 4, November, 1990
Volume 4, Number 1, January, 1991
Volume 4, Number 2, April, 1991
Volume 4, Number 3, July, 1991
Volume 4, Number 4, March, 1992
Volume 5, Number 1/2, May, 1992
Volume 5, Number 3, September, 1992
Volume 5, Number 4, December, 1992
Volume 6, Number 1/2, August, 1993
Volume 6, Number 3/4, November, 1993
Volume 7, Number 1, January, 1994
Volume 7, Number 2/3, 1994
Volume 7, Number 4, 1994
Volume 8, Number 1/2, March, 1995
Volume 8, Number 3, September, 1995
Volume 8, Number 4, December, 1995
Volume 8, Number 1/2, March, 1995
Volume 9, Number 1, February, 1996
Volume 9, Number 2/3, may # / # jun, 1996
Volume 9, Number 4, December, 1996
Volume 10, Number 1, June, 1997
Volume 10, Number 2, July, 1997
Volume 10, Number 3, May, 1998
Volume 10, Number 4, August, 1998
Volume 16, Number 4, December, 2003


Lisp and Symbolic Computation
Volume 1, Number 1, June, 1988

              Mitchell Wand and   
             Daniel P. Friedman   The Mystery of the Tower Revealed: A
                                  Non-Reflective Description of the
                                  Reflective Tower . . . . . . . . . . . . 11--37
              Kevin J. Lang and   
           Barak A. Pearlmutter   Oaklisp: An Object-Oriented Dialect of
                                  Scheme . . . . . . . . . . . . . . . . . 39--51
             R. Kent Dybvig and   
         Daniel P. Friedman and   
          Christopher T. Haynes   Expansion-Passing Style: A General Macro
                                  Mechanism  . . . . . . . . . . . . . . . 53--75
                      Anonymous   Book Review: \em Lisp Lore: A Guide to
                                  Programming the Lisp Machine, 2d ed.,
                                  Hank Bromley and Richard Lamson, Boston:
                                  Kluwer. 1987. 337 pages hardbound.
                                  \$47.50  . . . . . . . . . . . . . . . . 77--79
         Richard P. Gabriel and   
                 Kent M. Pitman   Endpaper: Technical Issues of Separation
                                  in Function Cells and Value Cells  . . . 81--101

Lisp and Symbolic Computation
Volume 1, Number 2, September, 1988

          John T. O'Donnell and   
               Cordelia V. Hall   Debugging in Applicative Languages . . . 113--145
             Adrienne Bloss and   
              Paul R. Hudak and   
              Jonathan H. Young   Code Optimizations for Lazy Evaluation   147--164
                    Dario Giuse   LISP as a Rapid Prototyping Environment:
                                  The Chinese Tutor  . . . . . . . . . . . 165--184
             Karl J. Lieberherr   Object-Oriented Programming with Class
                                  Dictionaries . . . . . . . . . . . . . . 185--212
             Linda G. Demichiel   Overview: The Common Lisp Object System  227--244
           Daniel G. Bobrow and   
         Linda G. Demichiel and   
         Richard P. Gabriel and   
             Sonya E. Keene and   
            Gregor Kiczales and   
                  David A. Moon   Common Lisp Object System Specification
                                  1. Programmer Interface Concepts . . . . 245--298
           Daniel G. Bobrow and   
         Linda G. Demichiel and   
         Richard P. Gabriel and   
             Sonya E. Keene and   
            Gregor Kiczales and   
                  David A. Moon   Common Lisp Object System Specification
                                  2. Functions in the Programmer Interface 299--394


Lisp and Symbolic Computation
Volume 2, Number 1, February, 1989

              Neil D. Jones and   
              Peter Sestoft and   
      Harald Sòndergaard   Mix: A Self-Applicable Partial Evaluator
                                  for Experiments in Compiler Generation   9--50
            Hassan Ait-kaci and   
                     Roger Nasr   Integrating Logic and Functional
                                  Programming  . . . . . . . . . . . . . . 51--89
                      Anonymous   Book Review: \em Artificial Intelligence
                                  Programming, 2d ed. Charniak, Riesbeck,
                                  McDermott, and Meehan. New Jersey:
                                  Lawrence Erlbaum Associates, 1987. 533
                                  pages hardbound  . . . . . . . . . . . . 91--93
                  Klaus E. Grue   Arrays in Pure Functional Programming
                                  Languages  . . . . . . . . . . . . . . . 105--113
             Walter Olthoff and   
                    James Kempf   An Algebraic Specification of Method
                                  Combination for the Common Lisp Object
                                  System . . . . . . . . . . . . . . . . . 115--152

Lisp and Symbolic Computation
Volume 2, Number 2, June, 1989

                Andrew W. Appel   Runtime Tags Aren't Necessary  . . . . . 153--162
                      Anonymous   Book Review: \em Object-Oriented
                                  Programming in Common LISP: A
                                  Programmer's Guide to CLOS, Sonya E.
                                  Keene, Massachusetts: Addison-Wesley,
                                  1989 . . . . . . . . . . . . . . . . . . 163--165

Lisp and Symbolic Computation
Volume 2, Number 3/4, October, 1989

 Williams Ludwell Harrison, III   The Interprocedural Analysis and
                                  Automatic Parallellization of Scheme
                                  Programs . . . . . . . . . . . . . . . . 179--396


Lisp and Symbolic Computation
Volume 3, Number 1, January, 1990

              Benjamin Zorn and   
                 Paul Hilfinger   Direct Function Calls in Lisp  . . . . . 13--20
             Colin Runciman and   
                   Nigel Jagger   Relative Specification and
                                  Transformational Reuse of Functional
                                  Programs . . . . . . . . . . . . . . . . 21--37
       Mohammad Pourheidari and   
          Robert R. Kessler and   
                    Harold Carr   Moped (A Portable Debugger)  . . . . . . 39--65
              Dorai Sitaram and   
             Matthias Felleisen   Control Delimiters and Their Hierarchies 67--99
             David S. Touretzky   Book Review: \em Common Lisp: the
                                  Reference, by Franz, Inc. Addison-Wesley
                                  Publishing Company, 1988. Softcover; 919
                                  pages  . . . . . . . . . . . . . . . . . 101--102

Lisp and Symbolic Computation
Volume 3, Number 2, April, 1990

               Pierre E. Bonzon   A Metacircular Evaluator for a Logical
                                  Extension of Scheme  . . . . . . . . . . 113--133
         Margaret H. Derbyshire   Mark Scan Garbage Collection on a
                                  Distributed Architecture . . . . . . . . 135--170
                  Richard Acuff   Endpaper: Performance of Two Common Lisp
                                  Programs On Several Systems  . . . . . . 171--204

Lisp and Symbolic Computation
Volume 3, Number 3, September, 1990

            John R. Diamant and   
               Gerald P. Duggan   A Preprocessor Based Implementation of
                                  Common Lisp  . . . . . . . . . . . . . . 211--228
             R. Kent Dybvig and   
                    Robert Hieb   A New Approach to Procedures with
                                  Variable Arity . . . . . . . . . . . . . 229--244
                   Erik Ruf and   
                   Daniel Weise   LogScheme: Integrating Logic Programming
                                  into Scheme  . . . . . . . . . . . . . . 245--288
            Göran Bage and   
                 Gary Lindstrom   Combinator Evaluation of Functional
                                  Programs With Logical Variables  . . . . 289--320
                      Anonymous   Book Review: \em Common Lisp: A
                                  Tutorial, by Wendy L. Milner. Prentice
                                  Hall, 1988. Softcover; 519 pages . . . . 321--325

Lisp and Symbolic Computation
Volume 3, Number 4, November, 1990

                Andrew W. Appel   A Runtime System . . . . . . . . . . . . 343--380
                   R. Ghosh-Roy   Conjunction-Type Standard ML
                                  Polymorphism . . . . . . . . . . . . . . 381--409


Lisp and Symbolic Computation
Volume 4, Number 1, January, 1991

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

Lisp and Symbolic Computation
Volume 4, Number 2, April, 1991

            James S. Miller and   
             Guillermo J. Rozas   Free Variables and First-Class
                                  Environments . . . . . . . . . . . . . . 107--141
              Timothy Koschmann   Designing a Browser to Support
                                  Multimethods and Method Combination  . . 143--154
             Richard J. Fateman   Endpaper: FRPOLY: A Benchmark Revisited  155--164
                   Jon L. White   Book Review: \em A ``Kinder, Gentler
                                  LISP?'' COMMON LISP: A Gentle
                                  Introduction to Symbolic Computation, by
                                  David S. Touretzky. Benjamin/Cummings
                                  Publishing Company 1990  . . . . . . . . 165--177

Lisp and Symbolic Computation
Volume 4, Number 3, July, 1991

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

Lisp and Symbolic Computation
Volume 4, Number 4, March, 1992

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


Lisp and Symbolic Computation
Volume 5, Number 1/2, May, 1992

                      Anonymous   Introduction . . . . . . . . . . . . . . 5
                       Al Davis   Mayfly: A General-Purpose, Scalable,
                                  Parallel Processing Architecture . . . . 7--48
                 John S. Conery   Parallel Logic Programs on the Mayfly    49--72
                 R. Kessler and   
                    H. Carr and   
                 L. Stoller and   
                     M. Swanson   Implementing Concurrent Scheme for the
                                  Mayfly Distributed Parallel Processing
                                  System . . . . . . . . . . . . . . . . . 73--93
                Mark R. Swanson   Concurrent Scheme Reference  . . . . . . 95--104
              John D. Evans and   
              Robert R. Kessler   DPOS: A Metalanguage and Programming
                                  Environment for Parallel Processing  . . 105--123

Lisp and Symbolic Computation
Volume 5, Number 3, September, 1992

                 Cheng Gang and   
                Yun-Zheng Zhang   A ``Functional + Logic'' Programming
                                  Language in Interpretation-Compilation
                                  Implementation . . . . . . . . . . . . . 133--156
                 Henry G. Baker   A Decision Procedure for Common Lisp's
                                  SUBTYPEP Predicate . . . . . . . . . . . 157--190
            Andrew W. Appel and   
                     Zhong Shao   Callee-save Registers in
                                  Continuation-passing Style . . . . . . . 191--221
               Alan Borning and   
    Bjorn N. Freeman-Benson and   
                   Molly Wilson   Constraint Hierarchies . . . . . . . . . 223--270
                Guy Lapalme and   
              Mario Latendresse   A Debugging Environment for Lazy
                                  Functional Languages . . . . . . . . . . 271--287

Lisp and Symbolic Computation
Volume 5, Number 4, December, 1992

             R. Kent Dybvig and   
                Robert Hieb and   
                 Carl Bruggeman   Syntactic Abstraction in Scheme  . . . . 295--326
             Charles Consel and   
                  Olivier Danvy   Partial Evaluation in Parallel . . . . . 327--342
              Shinn-Der Lee and   
             Daniel P. Friedman   First-Class Extents  . . . . . . . . . . 343--375


Lisp and Symbolic Computation
Volume 6, Number 1/2, August, 1993

                      Anonymous   Editorial  . . . . . . . . . . . . . . . 5
              Julian Padget and   
                Greg Nuyens and   
               Harry Bretthauer   An Overview of EULISP  . . . . . . . . . 9--98
        Russell J. Bradford and   
              David C. De Roure   EuLisp in Education  . . . . . . . . . . 99--118
           Harry Bretthauer and   
           Jürgen Kopp and   
            Harley E. Davis and   
              Keith J. Playford   Balancing the EuLisp Metaobject Protocol 119--138
         Peter A. Broadbery and   
            Christopher Burdorf   Applications of Telos  . . . . . . . . . 139--158
               Andreas Kind and   
                Horst Friedrich   A Practical Approach to Type Inference
                                  for EuLisp . . . . . . . . . . . . . . . 159--176
            Neil Berrington and   
         Peter A. Broadbery and   
             David De Roure and   
               Julian A. Padget   EuLisp Threads: A Concurrency Toolbox    177--200
              Simon Merrall and   
               Julian A. Padget   Plurals: A SIMD Extension to EuLisp  . . 201--220

Lisp and Symbolic Computation
Volume 6, Number 3/4, November, 1993

                      Anonymous   Introduction . . . . . . . . . . . . . . 229
               John C. Reynolds   The Discoveries of Continuations . . . . 233--248
             F. Lockwood Morris   The Next 700 Formal Language
                                  Descriptions . . . . . . . . . . . . . . 249--258
             Michael J. Fischer   Lambda-Calculus Schemata . . . . . . . . 259--288
                  Amr Sabry and   
             Matthias Felleisen   Reasoning about Programs in
                                  Continuation-Passing Style . . . . . . . 289--360
           Robert W. Harper and   
               Mark Lillibridge   Polymorphic Type Assignment and CPS
                                  Conversion . . . . . . . . . . . . . . . 361--380


Lisp and Symbolic Computation
Volume 7, Number 1, January, 1994

                      Anonymous   Introduction . . . . . . . . . . . . . . 7
               Andrzej Filinski   Recursion from Iteration . . . . . . . . 11--38
                  Philip Wadler   Monads and Composable Continuations  . . 39--56
              Chris Okasaki and   
                  Peter Lee and   
                  David Tarditi   Call-by-need and Continuation-passing
                                  Style  . . . . . . . . . . . . . . . . . 57--82
                Robert Hieb and   
                Kent Dybvig and   
        Claude W. Anderson, III   Subcontinuations . . . . . . . . . . . . 83--110
                 John S. Conery   Continuation based control in the
                                  implementation of parallel logic
                                  programs . . . . . . . . . . . . . . . . 111--134

Lisp and Symbolic Computation
Volume 7, Number 2/3, 1994

         Soumen Chakrabarti and   
               Katherine Yelick   Distributed Data Structures and
                                  Algorithms for Gröbner Basis Computation  147--172
              Stephen Weeks and   
         Suresh Jagannathan and   
                  James Philbin   A Concurrent Abstract Interpreter  . . . 173--193
                  Kinson Ho and   
            Hans W. Guesgen and   
              Paul N. Hilfinger   CONSAT: A Parallel Constraint
                                  Satisfaction System  . . . . . . . . . . 195--210
              Hideo Matsuda and   
                   Yukio Kaneda   An Application of an OR-Parallel Prolog
                                  System to Phylogenetic Analysis  . . . . 211--229
                Marc Feeley and   
            Marcel Turcotte and   
                    Guy Lapalme   Using Multilisp for Solving Constraint
                                  Satisfaction Problems: an Application to
                                  Nucleic Acid 3D Structure Determination  231--247

Lisp and Symbolic Computation
Volume 7, Number 4, 1994

              Peter D. Karp and   
           John D. Lowrance and   
            Thomas M. Strat and   
               David E. Wilkins   The Grasper-CL Graph Management System   251--290
             Suresh Jagannathan   TS/Scheme: distributed data structures
                                  in Lisp  . . . . . . . . . . . . . . . . 291--314
          Richard A. Kelsey and   
               Jonathan A. Rees   A Tractable Scheme Implementation  . . . 315--335
                Andrew W. Appel   Loop Headers in $\lambda$-Calculus or
                                  CPS  . . . . . . . . . . . . . . . . . . 337--343


Lisp and Symbolic Computation
Volume 8, Number 1/2, March, 1995

          Joshua D. Guttman and   
           John D. Ramsdell and   
                  Mitchell Wand   VLISP: A Verified Implementation of
                                  Scheme . . . . . . . . . . . . . . . . . 5--32
          Joshua D. Guttman and   
           John D. Ramsdell and   
                   Vipin Swarup   The VLISP Verified Scheme System . . . . 33--110
              Dino P. Oliva and   
           John D. Ramsdell and   
                  Mitchell Wand   The VLISP Verified PreScheme Compiler    111--182

Lisp and Symbolic Computation
Volume 8, Number 3, September, 1995

              Peter Sestoft and   
      Harald Sòndergaard   Guest Editors' Foreword  . . . . . . . . 189
              Lars Birkedal and   
                Morten Welinder   Binding-Time Analysis for Standard ML    191--208
              Olivier Danvy and   
    Karoline Malmkjær and   
                  Jens Palsberg   The Essence of Eta-Expansion in Partial
                                  Evaluation . . . . . . . . . . . . . . . 209--227
                  Mark P. Jones   Dictionary-Free Overloading by Partial
                                  Evaluation . . . . . . . . . . . . . . . 229--248
                      Kei Davis   PERs from projections for binding time
                                  analysis . . . . . . . . . . . . . . . . 249--266
         Clement A. Baker-Finch   Type Theory and Projections for Static
                                  Analysis . . . . . . . . . . . . . . . . 267--285

Lisp and Symbolic Computation
Volume 8, Number 4, December, 1995

               Ian A. Mason and   
                 Martin Odersky   Introduction . . . . . . . . . . . . . . 291--292
            John Launchbury and   
          Simon L. Peyton Jones   State in Haskell . . . . . . . . . . . . 293--341
               Andrew K. Wright   Simple Imperative Polymorphism . . . . . 343--355
            Jonathan Eifrig and   
                Scott Smith and   
            Valery Trifonov and   
                    Amy Zwarico   An Interpretation of Typed OOP in a
                                  Language with State  . . . . . . . . . . 357--397

Lisp and Symbolic Computation
Volume 8, Number 1/2, March, 1995

          Joshua D. Guttman and   
                  Mitchell Wand   Special Issue on VLISP . . . . . . . . . ??


Lisp and Symbolic Computation
Volume 9, Number 1, February, 1996

                  Uday S. Reddy   Global State Considered Unnecessary: An
                                  Introduction to Object-Based Semantics   7--76
                      Ian Stark   Categorical Models for Local Names . . . 77--107
          Jonathan Springer and   
                Samuel N. Kamin   Strictness Analysis in the Imperative
                                  Lambda Calculus  . . . . . . . . . . . . 109--143

Lisp and Symbolic Computation
Volume 9, Number 2/3, may # / # jun, 1996

          Jacques Malenfant and   
            Christophe Dony and   
                  Pierre Cointe   A Semantics of Introspection in a
                                  Reflective Prototype-Based Language  . . 153--179
          Stanley Jefferson and   
             Daniel P. Friedman   A Simple Reflective Interpreter  . . . . 181--202
               Kenichi Asai and   
           Satoshi Matsuoka and   
               Akinori Yonezawa   Duplication and partial evaluation ---
                                  for a better understanding of reflective
                                  languages -  . . . . . . . . . . . . . . 203--241
              Yasuaki Honda and   
                   Mario Tokoro   Reflection and Time-Dependent Computing:
                                  Experiences with the $R^2$ Architecture  243--277

Lisp and Symbolic Computation
Volume 9, Number 4, December, 1996

              Wei-Ngan Chin and   
                John Darlington   A Higher-Order Removal Method  . . . . . 287--322
              David Tarditi and   
                     Amer Diwan   Measuring the Cost of Storage Management 323--342
        Sho-Huan Simon Tung and   
                 R. Kent Dybvig   Reliable Interactive Programming with
                                  Modules  . . . . . . . . . . . . . . . . 343--358


Lisp and Symbolic Computation
Volume 10, Number 1, June, 1997

               J. H. Jacobs and   
                  M. R. Swanson   UCL+P --- Defining and Implementing
                                  Persistent Common Lisp . . . . . . . . . 5--38
              Arthur H. Lee and   
              Joseph L. Zachary   Adding Support for Persistence to CLOS
                                  via Its Metaobject Protocol  . . . . . . 39--60
              Atsushi Ohori and   
            Tomonobu Takamizawa   An Unboxed Operational Semantics for ML
                                  Polymorphism . . . . . . . . . . . . . . 61--91

Lisp and Symbolic Computation
Volume 10, Number 2, July, 1997

                Bob Kessler and   
                Carolyn Talcott   Editorial  . . . . . . . . . . . . . . . 99--99
              Olivier Danvy and   
                 Mayer Goldberg   Partial Evaluation of the Euclidian
                                  Algorithm  . . . . . . . . . . . . . . . 101--111
          Robert Glück and   
        Jesper Jòrgensen   An Automatic Program Generator for
                                  Multi-Level Specialization . . . . . . . 113--158
              David S. Wise and   
                 Brian Heck and   
                 Caleb Hess and   
                Willie Hunt and   
                       Eric Ost   Research Demonstration of a Hardware
                                  Reference-Counting Heap  . . . . . . . . 159--181

Lisp and Symbolic Computation
Volume 10, Number 3, May, 1998

                  Mitchell Wand   The Theory of Fexprs is Trivial  . . . . 189--199
            Sho-Huan Simon Tung   Visualizing Evaluation in Scheme . . . . 201--222
              Sanjeev Kumar and   
             Carl Bruggeman and   
                 R. Kent Dybvig   Threads Yield Continuations  . . . . . . 223--236
               David A. Schmidt   Trace-Based Abstract Interpretation of
                                  Operational Semantics  . . . . . . . . . 237--271

Lisp and Symbolic Computation
Volume 10, Number 4, August, 1998

                Bob Kessler and   
                Carolyn Talcott   Editorial  . . . . . . . . . . . . . . . 279--279
                      Anonymous   Volume 1 (1988)  . . . . . . . . . . . . 281--287
                      Anonymous   Volume 2 (1989)  . . . . . . . . . . . . 289--293
                      Anonymous   Volume 3 (1990)  . . . . . . . . . . . . 295--303
                      Anonymous   Volume 4 (1991)  . . . . . . . . . . . . 305--313
                      Anonymous   Volume 5 (1992)  . . . . . . . . . . . . 315--323
                      Anonymous   Volume 6 (1993)  . . . . . . . . . . . . 325--332
                      Anonymous   Volume 7 (1994)  . . . . . . . . . . . . 333--342
                      Anonymous   Volume 8 (1995)  . . . . . . . . . . . . 343--349
                      Anonymous   Volume 9 (1996)  . . . . . . . . . . . . 351--357
                      Anonymous   Volume 10 (1997) . . . . . . . . . . . . 359--366
                      Anonymous   Author Index . . . . . . . . . . . . . . 367--369
                      Anonymous   Title Index  . . . . . . . . . . . . . . 371--373


Higher-Order and Symbolic Computation
Volume 16, Number 4, December, 2003

              Robert Harper and   
               Mark Lillibridge   Corrigendum: Polymorphic Type Assignment
                                  and CPS Conversion . . . . . . . . . . . 401--401