Last update: Fri Dec 2 17:51:30 MST 2022
Volume 1, Number 1, June, 1988Mitchell 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
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
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
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
Williams Ludwell Harrison, III The Interprocedural Analysis and Automatic Parallellization of Scheme Programs . . . . . . . . . . . . . . . . 179--396
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
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
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
Andrew W. Appel A Runtime System . . . . . . . . . . . . 343--380 R. Ghosh-Roy Conjunction-Type Standard ML Polymorphism . . . . . . . . . . . . . . 381--409
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Joshua D. Guttman and Mitchell Wand Special Issue on VLISP . . . . . . . . . ??
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
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
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
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
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
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
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
Robert Harper and Mark Lillibridge Corrigendum: Polymorphic Type Assignment and CPS Conversion . . . . . . . . . . . 401--401