Lisp and Symbolic Computation, Volume 9

Volume 9, Number 1, February 1996

Special Issue on State in Programming Languages (Part B)

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

Jacques Malenfant, Christophe Dony, Pierre Cointe: A Semantics of Introspection in a Reflective Prototype-Based Language. 153-179 BibTeX
Stanley Jefferson, Daniel P. Friedman: A Simple Reflective Interpreter. 181-202 BibTeX
Kenichi Asai, Satoshi Matsuoka, Akinori Yonezawa: Duplication and Partial Evaluation For a Better Understanding of Reflective Languages. 203-241 BibTeX
Yasuaki Honda, Mario Tokoro: Reflection and Time-Dependent Computing: Experiences with the R2 Architecture. 243-277 BibTeX

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