LISP and Symbolic Computation
Volume 9, Issue 1 (February 1996) Special Issue on State in Programming Languages (Part II)
| pp.7-76 |
Global State Considered Unnecessary: An Introduction to Object-Based Semantics
Uday S. Reddy [abstract] |
| pp.77-107 |
Categorical Models for Local Names
Ian Stark [abstract | local copy] |
| pp.109-143 |
Strictness Analysis in the Imperative Lambda Calculus
Jonathan Springer and Samuel N. Kamin [abstract] |
Volume 9, Issue 2/3 (May/June 1996) Special Issue on Computational Reflection
| pp.153-179 |
A Semantics of Introspection in a Reflective Prototype-Based Language
Jacques Malenfant, Christophe Dony and Pierre Cointe [abstract] |
| pp.181-202 |
A Simple Reflective Interpreter
Stanley Jefferson and Daniel P. Friedman [abstract] |
| pp.203-241 |
Duplication and Partial Evaluation --For a Better Understanding of Reflective Languages--
Kenichi Asai, Satoshi Matsuoka and Akinori Yonezawa [abstract | local copy] |
| pp.243-277 |
Reflection and Time-Dependent Computing: Experiences with the R2 Architecture
Yasuaki Honda and Mario Tokoro [abstract] |
Volume 9, Issue 4 (December 1996)
| pp.287-322 |
A Higher-Order Removal Method
Wei-Ngan Chin and John Darlington [abstract] |
| pp.323-342 |
Measuring the Cost of Storage Management
David Tarditi and Amer Diwan [abstract | local copy] |
| pp.343-358 |
Reliable Interactive Programming with Modules
Sho-Huan Simon Tung and R. Kent Dybvig [abstract | local copy] |