Technical Reports

Microsoft Research, Redmond, WA

The lcc 4.x Code-Generation Interface, MSR-TR-2001-64, July 2001 (with C. W. Fraser). PDF (257 KB).

Princeton University, Department of Computer Science, Princeton, NJ

Installing lcc,  Dec. 1994, revised June 1995, Dec. 1995, Oct. 1996, June 1997, Sep. 1998, Sep. 2002 (with C. W. Fraser).
Copying Garbage Collection in the Presence of Ambiguous References, Tech. Rep. CS-TR-162-88, June 1988 (with A. W. Appel). PDF (73 KB).

University of Arizona, Department of Computer Science, Tucson, AZ

Bibliography of Technical Reports, 1978–1985, Tech. Rep. 86-8, Mar. 1986.
Integrating Operating Systems and Languages, Tech. Rep. 84-2, Jan. 1984 (with C. W. Fraser).
The EZ Reference Manual, Tech. Rep. 84-1, Jan. 1984 (with C. W. Fraser).
DECSystem-10 C Programmer's Manual, Tech. Rep. 83-12a, Aug. 1983, revised Jan. 1984.
Transporting Y, Tech. Rep. 83-2, Mar. 1983.
The Y Compiler, Tech. Rep. 83-1, Jan. 1983.
The Machine-Independent Linker link, Tech. Rep. 82-10, Sep. 1982 (with C. W. Fraser).
Installing Version 3 of the Software Tools, Tech. Rep. 81-23, Dec. 1981.
Y Programmer's Manual, Tech. Rep. 81-22, Dec. 1981.
Ratfor Programmer's Manual, Tech. Rep. 81-21, Dec. 1981.
Software Tools User's Manual, Tech. Rep. 81-20, Dec. 1981.
The S Programming Language, Tech. Rep. 81-13, Aug. 1981 (with D. S. Chimenti and C. W. Fraser).
The Y Programming Language, Tech. Rep. 80-7b, Apr. 1980; revised June 1980, Oct. 1981.
The Portable I/O System PIOS, Tech. Rep. 80-6a, Apr. 1980; revised Nov. 1980.
The Portable Directory System PDS, Tech. Rep. 80-4, Mar. 1980.
Software Tools Programmer's Manual, Tech. Rep. 79-15, Aug. 1979.
Icon Implementation Notes, Tech. Rep. 79-12a, July 1979; revised Feb. 1980 (with W. J. Hansen).
Transporting the Icon Programming Language, Tech. Rep. 79-2b, Mar. 1979; revised June 1979, Feb. 1980 (with R. E. Griswold and S. B. Wampler).
Transporting Ratfor, Tech. Rep. 79-4a, Mar. 1979; revised May 1979.
Reference Manual for the Icon Programming Language, Tech. Rep. 79-1a, Jan. 1979; revised Jan. 1980 (with R. E. Griswold).
The Sil/2 Component of SL5, May. 1977; revised June 1977, Aug. 1977, Dec. 1977 (with R. E. Griswold and J. T. Korb).

Yale University, Department of Computer Science, New Haven, CT

Increasing the Confidence in Software using Program Perturbations, Nov. 1976 (with R. J. Lipton and F. G. Sayward). PDF (2152 KB).

University of Arizona, Department of Computer Science, Tucson, AZ

The Syntax and Semantics of SL5, Dec. 1975; revised Aug. 1976.
The PASCAL-10 Runtime System, Dec. 1975 (with D. E. Britton).
Generated Code for PASCAL-10, Dec. 1975 (with D. E. Britton).
A Procedural Approach to the Definition and Realization of Abstract Data Structures, Sep. 1975.

University of Arizona Computer Center, Tucson, AZ

PRECOM, A General-Purpose Preprocessor, June 1975.
SOS, The Son of Stopgap Text Editor, Oct. 1974.
The Manipulation of Varying-Length String Data in Fortran IV, May 1974; revised June 1975.
TEXT, A Program for Formatting Text Files, May 1974; revised May 1975.

Western Electric Engineering Research Center, Princeton, NJ

Spatially-Multiplexed Character Sets and Their Implementation in Fortran IV, Oct. 1973.
The Design of ELFBOL—A Full SNOBOL4 for the PDP-11, Oct. 1973 (with J. F. Gimpel).
Operation of the BELTEL Compiler and Runtime System, Sep. 1973 (with M. K. Podlecki).
The BELTEL Compiler I. General Design and Structure, Sep. 1973 (with D. E. Stockton).
The BELTEL Macro Processor, May 1973.
An Introduction to SCROLL: A Pattern Recording Language and Computer Plotting System, Dec. 1972.
A Computer Plotting System Incorporating the SCROLL Language, Oct. 1972.