diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /support/splint/cweb/references.w |
Initial commit
Diffstat (limited to 'support/splint/cweb/references.w')
-rw-r--r-- | support/splint/cweb/references.w | 73 |
1 files changed, 73 insertions, 0 deletions
diff --git a/support/splint/cweb/references.w b/support/splint/cweb/references.w new file mode 100644 index 0000000000..76dc718d3b --- /dev/null +++ b/support/splint/cweb/references.w @@ -0,0 +1,73 @@ +@** Bibliography. This list of references is not meant to be +exhaustive or complete. These are merely the papers and the books +mentioned in the body of the program above. Naturally, this project +has been influenced by many outside ideas but it would be impossible +to list them all due to time and (human) memory limitations. + +{% +\def\BASIX{{B\kern-.7ptA\kern-.7ptS\kern-.3pt\lower1.3pt\hbox{I}\kern-.3pt X}} +\def\MF{{\tt METAFONT}} +\def\bterm#1{\item{[#1]\namedspot{#1bibref}\quad}\ignorespaces}% +\setbox0=\hbox{[ISO/C11]\quad} +\parindent=0pt +\advance\parindent by \wd0 +\ninepoint +\smallskip +\centerline{\dinkus}% +\smallskip + +\bterm{Ah}Alfred V.~Aho et al., {\it Compilers: Principles, +Techniques, and Tools}, Pearson Education, 2006. + +\bterm{Bi}Charles Donnelly and Richard Stallman, {\it Bison, The +Yacc-compatible Parser Generator}, The Free Software Foundation, 2013. +\url{http://www.gnu.org/software/bison/} + +\bterm{DEK1}Donald E.~Knuth, {\it The \TeX book}, Addison-Wesley Reading, Massachusetts, 1984. + +\bterm{DEK2}Donald E.~Knuth {\it The future of \TeX\ and \MF}, TUGboat {\bf 11} (4), p.~489, 1990. + +\bterm{Do}Jean-luc Doumont, {\it Pascal pretty-printing: an example of ``preprocessing with \TeX''}, +TUGboat {\bf 15} (3), 1994---Proceedings of the 1994 TUG Annual Meeting + +\bterm{Er}Sebastian Thore Erdweg and Klaus Ostermann, {\it Featherweight \TeX\ and Parser Correctness}, +Proceedings of the Third International Conference on Software Language Engineering, +pp.\ 397--416, Springer-Verlag Berlin, Heidelberg {\bf 2011}. + +\bterm{Fi}Jonathan Fine, {\it The \.{\\CASE} and \.{\\FIND} macros}, +TUGboat {\bf 14} (1), pp.~35--39, 1993. + +\bterm{Go}Pedro Palao Gostanza, {\it Fast scanners and self-parsing in \TeX}, +TUGboat {\bf 21} (3), 2000---Proceedings of the 2000 Annual Meeting. + +\bterm{Gr}Andrew Marc Greene, {\it \BASIX---an interpreter written in \TeX}, TUGboat {\bf 11} (3), +1990---Proceedings of the 1990 TUG Annual Meeting. + +\bterm{Ha}Hans Hagen, {\it Lua\TeX: Halfway to version~1}, TUGboat +{\bf 30} (2), pp.~183--186, 2009. \url{http://tug.org/TUGboat/tb30-2/tb95hagen-luatex.pdf}. + +\bterm{Ho}Taco Hoekwater, {\it Lua\TeX\ says goodbye to Pascal}, TUGboat {\bf 30} (3), +pp.~136--140, 2009---Euro\TeX\ 2009 Proceedings. + +\bterm{Ie}R.~Ierusalimschy et al., {\it Lua~5.1 Reference Manual}, +{\tt Lua.org}, August 2006. \url{http://www.lua.org/manual/5.1/}. + +\bterm{ISO/C11}{\it ISO/IEC 9899---Programming languages---C (C11)}, December~2011, draft available at +\url{http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf} + +\bterm{Jo}Derek M.~Jones, {\it The New C Standard: An Economic and +Cultural Commentary}, available at \url{http://www.knosof.co.uk/cbook/cbook.html}. + +\bterm{La}{\it The \.{l3regex} package: regular expressions in \TeX}, The \LaTeX3\ Project. + +\bterm{Pa}Vern Paxson et al., {\it Lexical Analysis With Flex, for +Flex~2.5.37}, July~2012. \url{http://flex.sourceforge.net/manual/}. + +\bterm{Sh}Alexander Shibakov, {\it Parsers in \TeX\ and using \CWEB\ for general pretty-printing}, +TUGboat {\bf 35} (1), 2014, available as part of the documentation supplied with \splint. + +\bterm{Wo}Marcin Woli\'nski, {\it {\tt Pretprin}---a \LaTeX2$\epsilon$ package for +pretty-printing texts in formal languages}, +TUGboat {\bf 19} (3), 1998---Proceedings of the 1998 TUG Annual Meeting. + +}
\ No newline at end of file |