summaryrefslogtreecommitdiff
path: root/web/spiderweb/doc/spe.aux
blob: c2471f652f28f008afda15cdbf5098c44e9c13a8 (plain)
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
70
\relax 
\citation{knuth:literate}
\citation{bentley:lp1,bentley:lp2,cvw:loom,gries:pearls}
\citation{knuth:tex,knuth:metafont}
\citation{bentley:lp1,bentley:lp2}
\citation{cvw:loom}
\citation{gries:pearls}
\citation{cvw:assessment}
\citation{thimbleby:review}
\citation{knuth:literate,thimbleby:cweb,guntermann:cweb,levy:cweb,sewell:mangle,ramsey:building}
\@writefile{toc}{\string\contentsline\space {section}{Introduction}{2}}
\citation{knuth:literate}
\citation{ramsey:developing,marceau:interactive,guaspari:formal}
\citation{reps:synthesizer:89}
\citation{reps:generating}
\citation{adalrm,polak:predicate}
\citation{marceau:verified,weber:beyond,anderson:asos}
\@writefile{toc}{\string\contentsline\space {section}{Using Literate Programming}{3}}
\citation{polak:predicate,polak:program}
\citation{adalrm}
\citation{ganzinger:operator}
\citation{cvw:assessment}
\citation{thimbleby:review}
\citation{bentley:more-pearls:graphics,bentley:lp2,sedgewick:algorithms}
\@writefile{toc}{\string\contentsline\space {section}{Evaluating {\string\ptt\space WEB}}{5}}
\citation{knuth:tex}
\citation{feldman:make}
\citation{johnson:yacc}
\citation{kernighan:unix}
\citation{ramsey:spiderwebman}
\citation{thimbleby:review}
\citation{parnas:rational}
\@writefile{toc}{\string\contentsline\space {section}{Discussion}{9}}
\citation{reps:synthesizer:89}
\bibstyle{unsrt}
\bibdata{web,ada,cs,ramsey}
\bibcite{knuth:literate}{1}
\bibcite{bentley:lp1}{2}
\bibcite{bentley:lp2}{3}
\bibcite{cvw:loom}{4}
\bibcite{gries:pearls}{5}
\bibcite{knuth:tex}{6}
\bibcite{knuth:metafont}{7}
\bibcite{cvw:assessment}{8}
\@writefile{toc}{\string\contentsline\space {section}{Acknowledgments}{11}}
\bibcite{thimbleby:review}{9}
\bibcite{thimbleby:cweb}{10}
\bibcite{guntermann:cweb}{11}
\bibcite{levy:cweb}{12}
\bibcite{sewell:mangle}{13}
\bibcite{ramsey:building}{14}
\bibcite{ramsey:developing}{15}
\bibcite{marceau:interactive}{16}
\bibcite{guaspari:formal}{17}
\bibcite{reps:synthesizer:89}{18}
\bibcite{reps:generating}{19}
\bibcite{adalrm}{20}
\bibcite{polak:predicate}{21}
\bibcite{marceau:verified}{22}
\bibcite{weber:beyond}{23}
\bibcite{anderson:asos}{24}
\bibcite{polak:program}{25}
\bibcite{ganzinger:operator}{26}
\bibcite{bentley:more-pearls:graphics}{27}
\bibcite{sedgewick:algorithms}{28}
\bibcite{feldman:make}{29}
\bibcite{johnson:yacc}{30}
\bibcite{kernighan:unix}{31}
\bibcite{ramsey:spiderwebman}{32}
\bibcite{parnas:rational}{33}