LISP and Symbolic Computation

Volume 10, Issue 1 (June 1997)

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

Volume 10, Issue 2 (July 1997)

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

Volume 10, Issue 3 (May 1998)

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

Volume 10, Issue 4 (August 1998)

p. 279 Editorial
Bob Kessler and Carolyn Talcott
[editorial]
pp. 281-287 Volume 1
n/a
[full text]
pp. 289-293 Volume 2
n/a
[full text]
pp. 295-303 Volume 3
n/a
[full text]
pp. 305-313 Volume 4
n/a
[full text]
pp. 315-323 Volume 5
n/a
[full text]
pp. 325-332 Volume 6
n/a
[full text]
pp. 333-342 Volume 7
n/a
[full text]
pp. 343-349 Volume 8
n/a
[full text]
pp. 351-357 Volume 9
n/a
[full text]
pp. 359-366 Volume 10
n/a
[full text]
pp. 367-369 Author Index
n/a
[full text]
pp. 371-373 Title Index
n/a
[full text]
[picture of journal cover]

April 2004 - hosc@brics.dk