1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
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
|
