This directory contains my files that are available by anonymous ftp. The file reynolds.bib.gz is a large (gzip-encoded) bibliography file in an extended bibtex format. It includes all citation used in the papers I've written in recent years. The file ReynoldsJC.bib is an (unencoded) excerpt of reynolds.bib limited to my own papers and books, and books in which these papers have been republished. In both of the bibliography files, the field "filename" gives the filename by which the paper is made available in this directory. Most of these files are gzip-encoded, and are usually available in both dvi and postscript form. Some files are in unencoded pdf format; most of these are pre-electronic papers that were optically scanned to obtain the pdf file. (I apologize for the low image quality of these files.) One of the pdf files, craftprog.pdf, is very large (28730525 bytes). It is an optically scanned image of my book "The Craft of Programming". There are also six (gzip-encoded) files containing or relating to a collection of macros for use with LATEX: diagmac.tex (41490 bytes) A collection of macros, both for diagrams in general and category-theory diagrams in particular. diagmac.doc (34135 bytes) A user's manual for the diagram macros. This file is meant to be printed directly and not as input to LATEX. diagmactest.tex (13069 bytes) A file which, when read by LATEX, will input diagmac.tex and print 8 pages of "Tests of Diagram Macros". catmac.tex (50618 bytes) A collection of macros for various notations of category theory and programming language semantics. There is no separate user's manual, but this file contains extensive comments. catmactest.tex (16382 bytes) A file which, when read by LATEX, will input catmac.tex and print 15 pages of "Tests of Macros for Category Theory". largeoptest.tex (1676 bytes) A file which, when read by LATEX, will input catmac.tex and print 7 pages of "Tests of Large Operator Macros". These macros are in the public domain, and have not changed in many years. Acknowledgement of their usage is not necessary. However, neither I nor CMU accept any responsibility for the consequences of errors in these macros or their documentation. This is more than the usual disclaimer; TEX is a beastly language for programming anything complex, and I am not an expert in its use, so that there are probably errors lurking in the macros. The paper "Separation Logic: A Logic for Shared Mutable Data Structures" (seplogic) is copyrighted by the IEEE. They have requested their authors to display the following notice: "This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author=92s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder." - John C. Reynolds April 29, 2009