diff options
author | Norbert Preining <norbert@preining.info> | 2024-01-08 03:02:10 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2024-01-08 03:02:10 +0000 |
commit | afbba3b1d12f17572ca4745766f2e0d55a6f58f3 (patch) | |
tree | edd2a155356a9d3c357d03d6c49e6531f189e7df /info | |
parent | aba7fb229e902758b312ecec84ab6f485c89ba66 (diff) |
CTAN sync 202401080302
Diffstat (limited to 'info')
-rw-r--r-- | info/biblio/litprog.bib | 826 | ||||
-rw-r--r-- | info/biblio/litprog.ltx | 16 | ||||
-rw-r--r-- | info/docsurvey/README.txt | 4 | ||||
-rw-r--r-- | info/docsurvey/docsurvey.pdf | bin | 242294 -> 250809 bytes | |||
-rw-r--r-- | info/docsurvey/docsurvey.tex | 81 |
5 files changed, 488 insertions, 439 deletions
diff --git a/info/biblio/litprog.bib b/info/biblio/litprog.bib index f726465e3b..1e7629adec 100644 --- a/info/biblio/litprog.bib +++ b/info/biblio/litprog.bib @@ -4,9 +4,9 @@ %%% ==================================================================== %%% BibTeX-file{ %%% author = "Nelson H. F. Beebe", -%%% version = "3.37", -%%% date = "08 April 2021", -%%% time = "08:46:53 MDT", +%%% version = "3.38", +%%% date = "06 January 2024", +%%% time = "18:59:38 MST", %%% filename = "litprog.bib", %%% address = "University of Utah %%% Department of Mathematics, 110 LCB @@ -15,8 +15,8 @@ %%% USA", %%% telephone = "+1 801 581 5254", %%% FAX = "+1 801 581 4148", -%%% URL = "http://www.math.utah.edu/~beebe", -%%% checksum = "52274 8772 39492 389248", +%%% URL = "https://www.math.utah.edu/~beebe", +%%% checksum = "14748 8790 39542 390609", %%% email = "beebe at math.utah.edu, beebe at acm.org, %%% beebe at computer.org (Internet)", %%% codetable = "ISO/ASCII", @@ -28,7 +28,7 @@ %%% fields will be printed if the is-alpha.bst %%% or is-plain.bst style files are used. %%% -%%% At version 3.37, the coverage looked like +%%% At version 3.38, the coverage looked like %%% this: %%% %%% 1982 ( 1) 1996 ( 30) 2010 ( 4) @@ -197,7 +197,7 @@ e-mail: \path|beebe@math.utah.edu|, \path|beebe@acm.org|, \path|beebe@computer.org| (Internet), - URL: \path|http://www.math.utah.edu/~beebe/|"} + URL: \path|https://www.math.utah.edu/~beebe/|"} @String{ack-nr = "Norman Ramsey, e-mail: \path|nr@cs.virginia.edu|"} @@ -302,7 +302,7 @@ @String{j-SIGPLAN = "ACM SIGPLAN Notices"} -@String{j-SOFTWARE-CONCEPTS-TOOLS = "Software --- Concepts and Tools"} +@String{j-SOFTW-CONCEPTS-TOOLS = "Software --- Concepts and Tools"} @String{j-SPE = "Soft{\-}ware\emdash Prac{\-}tice and Experience"} @@ -419,7 +419,7 @@ month = Mar, year = "1982", ISSN = "0896-3207", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "TUGboat", } @@ -432,7 +432,7 @@ institution = inst-STAN-CS, year = "1983", bibdate = "Fri Sep 23 02:22:30 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-hk, } @@ -445,7 +445,7 @@ address = "Stanford, {CA}", month = sep, year = "1983", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -463,7 +463,7 @@ ISSN-L = "0010-4620", bibdate = "Wed Aug 24 17:14:45 MDT 1994", bibsource = "Compendex database; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The author and his associates have been experimenting for the past several years with a programming language and documentation system called WEB. This paper @@ -494,7 +494,7 @@ address = "Department of Computer Science, University of York, Heslington, York YO1 5DD, England", year = "1984", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "{\bf Cweb} is a system of structured documentation based of Knuth's {\tt WEB}. The philosophy behind both {\bf cweb} and {\tt WEB} is that an experienced @@ -525,7 +525,7 @@ number = "1", pages = "75", year = "1985", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-eg, } @@ -539,7 +539,7 @@ month = Mar, year = "1986", ISSN = "0896-3207", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "TUGboat", } @@ -555,7 +555,7 @@ pages = "51--58", month = apr, year = "1986", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -569,7 +569,7 @@ month = Jun, year = "1986", ISSN = "0896-3207", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "TUGboat", } @@ -586,7 +586,7 @@ CODEN = "SPEXBL", ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-eg, fjournal = "Software---Practice and Experience", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X", @@ -607,7 +607,7 @@ ISSN = "0001-0782 (print), 1557-7317 (electronic)", ISSN-L = "0001-0782", bibdate = "Wed Jan 17 11:46:37 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "Reprinted in \cite[pp.~137--149]{Knuth:1992:LP}.", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", @@ -631,8 +631,8 @@ ISSN-L = "0001-0782", bibdate = "Mon Feb 03 15:15:45 2003", bibsource = "http://dblp.uni-trier.de/db/journals/cacm/cacm29.html#Bentley86b; - http://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "See another solution to the problem of printing the $k$ most common words of a text file in \cite{VanWyk:1987:LPPa}. Reprinted in @@ -658,7 +658,7 @@ month = Oct, year = "1986", ISSN = "0896-3207", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "TUGboat", } @@ -675,14 +675,14 @@ ISBN-13 = "978-0-201-13446-9", LCCN = "Z250.8.M46 K574 1986", bibdate = "Wed Dec 15 10:37:33 1993", - bibsource = "http://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib; - http://www.math.utah.edu/pub/tex/bib/datacompression.bib; - http://www.math.utah.edu/pub/tex/bib/font.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/master.bib; - http://www.math.utah.edu/pub/tex/bib/texbook3.bib; - http://www.math.utah.edu/pub/tex/bib/texgraph.bib; - http://www.math.utah.edu/pub/tex/bib/typeset.bib", + bibsource = "https://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib; + https://www.math.utah.edu/pub/tex/bib/datacompression.bib; + https://www.math.utah.edu/pub/tex/bib/font.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/master.bib; + https://www.math.utah.edu/pub/tex/bib/texbook3.bib; + https://www.math.utah.edu/pub/tex/bib/texgraph.bib; + https://www.math.utah.edu/pub/tex/bib/typeset.bib", series = "Computers and Typesetting", acknowledgement = ack-nhfb, remark = "Reprinted with corrections July, 1987.", @@ -756,14 +756,14 @@ ISBN-13 = "978-0-201-13438-4", LCCN = "Z250.8.M46 K578 1986", bibdate = "Wed Dec 15 10:37:32 1993", - bibsource = "http://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib; - http://www.math.utah.edu/pub/tex/bib/datacompression.bib; - http://www.math.utah.edu/pub/tex/bib/font.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/master.bib; - http://www.math.utah.edu/pub/tex/bib/texbook3.bib; - http://www.math.utah.edu/pub/tex/bib/texgraph.bib; - http://www.math.utah.edu/pub/tex/bib/typeset.bib", + bibsource = "https://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib; + https://www.math.utah.edu/pub/tex/bib/datacompression.bib; + https://www.math.utah.edu/pub/tex/bib/font.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/master.bib; + https://www.math.utah.edu/pub/tex/bib/texbook3.bib; + https://www.math.utah.edu/pub/tex/bib/texgraph.bib; + https://www.math.utah.edu/pub/tex/bib/typeset.bib", series = "Computers and Typesetting", acknowledgement = ack-nhfb, tableofcontents = "1 Introduction / \S 1 \\ @@ -833,13 +833,13 @@ ISBN-13 = "978-0-201-13437-7", LCCN = "Z253.4.T47 K578 1986", bibdate = "Wed Dec 15 10:36:54 1993", - bibsource = "http://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib; - http://www.math.utah.edu/pub/tex/bib/datacompression.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/master.bib; - http://www.math.utah.edu/pub/tex/bib/texbook3.bib; - http://www.math.utah.edu/pub/tex/bib/texgraph.bib; - http://www.math.utah.edu/pub/tex/bib/typeset.bib", + bibsource = "https://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib; + https://www.math.utah.edu/pub/tex/bib/datacompression.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/master.bib; + https://www.math.utah.edu/pub/tex/bib/texbook3.bib; + https://www.math.utah.edu/pub/tex/bib/texgraph.bib; + https://www.math.utah.edu/pub/tex/bib/typeset.bib", series = "Computers and Typesetting", acknowledgement = ack-nhfb, tableofcontents = "1 Introduction / \S 1 \\ @@ -916,7 +916,7 @@ ISSN-L = "0010-4620", bibdate = "Tue Mar 25 13:51:56 MST 1997", bibsource = "Compendex database; - http://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib; http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_03/", URL = "http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_03/tiff/201.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_03/tiff/202.tif; @@ -971,7 +971,7 @@ ISBN-13 = "????", LCCN = "????", bibdate = "Mon Jul 5 13:50:00 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://c2.com/doc/case87.html; http://www.literateprogramming.com/lpsmalltalk.pdf", acknowledgement = ack-nhfb, @@ -994,7 +994,7 @@ CODEN = "CACMA2", ISSN = "0001-0782 (print), 1557-7317 (electronic)", ISSN-L = "0001-0782", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J79", @@ -1013,7 +1013,7 @@ ISSN = "0001-0782 (print), 1557-7317 (electronic)", ISSN-L = "0001-0782", bibdate = "Wed Jan 17 11:47:57 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J79", @@ -1032,7 +1032,7 @@ ISSN = "0001-0782 (print), 1557-7317 (electronic)", ISSN-L = "0001-0782", bibdate = "Wed Jan 17 11:48:39 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J79", @@ -1045,7 +1045,7 @@ volume = "5", pages = "125--130", year = "1987", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "{\TeX}{\-}niques, Publications for the {\TeX} community", @@ -1061,7 +1061,7 @@ month = Apr, year = "1987", ISSN = "0896-3207", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "TUGboat", } @@ -1077,7 +1077,7 @@ month = Jul, year = "1987", ISSN = "0896-3207", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "TUGboat", } @@ -1092,7 +1092,7 @@ month = Jul, year = "1987", ISSN = "0896-3207", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "TUGboat", } @@ -1113,7 +1113,7 @@ bibdate = "Mon Feb 03 15:14:51 2003", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/litprog.bib; http://dblp.uni-trier.de/db/journals/cacm/cacm30.html#Wyk87; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "See another solution to the problem of printing the $k$ most common words of a text file in \cite{Bentley:1986:PPLb}.", @@ -1142,7 +1142,7 @@ bibdate = "Mon Jan 22 07:31:03 MST 2001", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/litprog.bib; http://dblp.uni-trier.de/db/journals/cacm/cacm30.html#WykJW87; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J79", @@ -1159,7 +1159,7 @@ pages = "ix + 102", month = aug, year = "1988", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -1174,7 +1174,7 @@ month = aug, year = "1988", bibdate = "Tue Mar 3 12:48:18 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, keywords = "Computer software -- Development.; Programming (Electronic computers)", @@ -1194,7 +1194,7 @@ ISSN = "0001-0782 (print), 1557-7317 (electronic)", ISSN-L = "0001-0782", bibdate = "Wed Jan 17 11:48:56 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J79", @@ -1210,7 +1210,7 @@ month = Aug, year = "1988", ISSN = "0896-3207", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "TUGboat", } @@ -1225,7 +1225,7 @@ month = feb, year = "1988", bibdate = "Tue Mar 3 12:48:18 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, keywords = "Modula-2 (Computer program language); Programming (Electronic computers); Programming languages @@ -1243,7 +1243,7 @@ pages = "298--314", year = "1988", ISSN = "0896-3207", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-eg, fjournal = "TUGboat", } @@ -1262,7 +1262,7 @@ (electronic)", ISSN-L = "0362-1340", bibdate = "Sat Aug 13 17:16:20 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "ACM SIGPLAN Notices", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J706", @@ -1280,7 +1280,7 @@ institution = "Oregon State University", address = "Corvallis, {OR}", year = "1988", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -1292,7 +1292,7 @@ address = "Corvallis, OR, USA", month = dec, year = "1988", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -1306,7 +1306,7 @@ month = apr, year = "1988", bibdate = "Wed Aug 24 17:43:40 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "{\TeX\-hax}", } @@ -1327,7 +1327,7 @@ ISSN-L = "0001-0782", bibdate = "Mon Jan 22 07:31:02 MST 2001", bibsource = "http://dblp.uni-trier.de/db/journals/cacm/cacm31.html#WykHC88; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J79", @@ -1352,7 +1352,7 @@ ISBN-13 = "978-0-89791-337-9", LCCN = "QA 76.9 D6 S54 1989", bibdate = "Sat Sep 17 11:05:18 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Too often documentation represents wishful thinking. It is what the designer hopes the program will do. It is what the programmer thinks the program does. It is @@ -1384,7 +1384,7 @@ pages = "447--455", year = "1989", bibdate = "Thu Sep 26 06:21:35 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The author defines a new concept for developing computer algebra software. The development system will integrate a documentation system, a programming @@ -1422,7 +1422,7 @@ pages = "115", year = "1989", bibdate = "Tue Mar 03 12:03:08 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -1436,8 +1436,10 @@ year = "1989", CODEN = "STPGEM", ISSN = "0935-1183", + ISSN-L = "0935-1183", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/structprogram.bib", abstract = "The author provides background material about literate programming and why this concept is important. He gives the background material on the nature and of the @@ -1464,8 +1466,10 @@ year = "1989", CODEN = "STPGEM", ISSN = "0935-1183", + ISSN-L = "0935-1183", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/structprogram.bib", abstract = "The author discusses D. E. Knuth's concept of literate programming. He covers the particulars of the literate programming style as described by Knuth in Computers @@ -1496,7 +1500,7 @@ CODEN = "CACMA2", ISSN = "0001-0782 (print), 1557-7317 (electronic)", ISSN-L = "0001-0782", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J79", @@ -1517,7 +1521,7 @@ ISSN-L = "0362-1340", bibdate = "Sun Dec 14 09:15:45 MST 2003", bibsource = "http://portal.acm.org/; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The programming environment described in this paper is an adaptation of Donald Knuth's concept of literate programming, applied to Smalltalk programs. The @@ -1579,7 +1583,7 @@ ISBN-13 = "978-0-442-31946-5", LCCN = "QA76.73.W24 S491 1989", bibdate = "Fri Aug 19 00:20:22 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, keywords = "web (computer program language)", } @@ -1598,7 +1602,7 @@ ISSN = "0001-0782 (print), 1557-7317 (electronic)", ISSN-L = "0001-0782", bibdate = "Wed Jan 17 11:53:00 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "See \cite{VanWyk:1989:LPF}.", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", @@ -1616,7 +1620,7 @@ month = jan, year = "1989", bibdate = "Tue Mar 3 12:48:18 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -1630,8 +1634,10 @@ year = "1989", CODEN = "STPGEM", ISSN = "0935-1183", + ISSN-L = "0935-1183", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/structprogram.bib", abstract = "In order to make computer programs easier to comprehend, the methods for program development and documentation need to be enhanced beyond their @@ -1671,7 +1677,7 @@ ISSN-L = "0001-0782", bibdate = "Mon Jan 22 07:31:04 MST 2001", bibsource = "http://dblp.uni-trier.de/db/journals/cacm/cacm32.html#WykLT89; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "See review \cite{Thimbleby:1989:RDC}.", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", @@ -1696,7 +1702,7 @@ ISSN-L = "0001-0782", bibdate = "Mon Jan 22 07:31:05 MST 2001", bibsource = "http://dblp.uni-trier.de/db/journals/cacm/cacm32.html#WykR89; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J79", @@ -1712,7 +1718,7 @@ number = "5", pages = "84--88", year = "1989", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-eg, } @@ -1728,7 +1734,7 @@ CODEN = "INFTCR", ISSN = "0019-9907", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "VAMP is a method of documentation using a special relationship between man and computer. It was introduced in 1984 and since then experience has shown @@ -1761,7 +1767,7 @@ ISSN-L = "0362-1340", bibdate = "Sun Dec 14 09:15:49 MST 2003", bibsource = "http://portal.acm.org/; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The new FWEB system applies the concept of literate programming to the FORTRAN8X language. Its design and implementation provided an opportunity to field-test @@ -1790,7 +1796,7 @@ ISBN-13 = "978-0-201-10745-6", LCCN = "QA76.75 .B34 1990", bibdate = "Fri Apr 30 11:02:09 1999", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "See \cite{Baecker:1997:SVD}.", acknowledgement = ack-nhfb, subject = "Visual programming (Computer science); Computer @@ -1828,7 +1834,7 @@ ISBN-13 = "978-3-540-53504-1", LCCN = "QA75.5 .I578 1990", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The authors describe a hypertext presentation for the WEB system for literate programming. The requirements for an environment for modern literate programming are @@ -1868,12 +1874,14 @@ journal = j-STRUCT-PROGRAM, volume = "11", number = "1", - pages = "11--25", + pages = "11--26", year = "1990", CODEN = "STPGEM", ISSN = "0935-1183", + ISSN-L = "0935-1183", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/structprogram.bib", abstract = "Interest in the field of Literate Programming is increasing, but it is not yet clear whether the WEB system for Literate Programming will receive widespread @@ -1892,6 +1900,7 @@ keywords = "Environment; Interactive environment; Literate programming; User interface; WEB; WEB program", thesaurus = "Programming environments; User interfaces", + xxpages = "11--25", } @Article{Brown:1990:LPA, @@ -1905,8 +1914,9 @@ year = "1990", CODEN = "STPGEM", ISSN = "0935-1183", + ISSN-L = "0935-1183", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "A software maintenance costs continue to increase, greater emphasis is being placed on techniques for improving the readability and understandability of @@ -1945,7 +1955,7 @@ ISBN-13 = "978-0-8186-2041-6", LCCN = "QA76.9.S88 C66 1990", bibdate = "Sat Sep 17 11:05:29 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "A literate programming paradigm that provides an environment suitable for documenting and organizing the low-level design of a system is presented. It is shown @@ -1987,7 +1997,7 @@ ISBN-13 = "978-0-89791-356-0", LCCN = "????", bibdate = "Mon Jul 5 14:07:49 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -2000,7 +2010,7 @@ month = "????", year = "1990", bibdate = "Sat Sep 7 17:48:58 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The author discusses a method for rapid prototyping of hypertext systems using an entity-relationship (ER) query and update interface. Prototyping of a hypertext @@ -2038,7 +2048,7 @@ month = Nov, year = "1990", ISSN = "0896-3207", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "TUGboat", } @@ -2054,7 +2064,7 @@ pages = "33", year = "1990", bibdate = "Tue Mar 3 12:48:18 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "This report introduces a language independent system that provides limited support for literate programming. The system can be easily enhanced to provide broad @@ -2075,7 +2085,7 @@ pages = "15", year = "1990", bibdate = "Tue Mar 3 12:48:18 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Conceptually, literate programming systems are document preparation systems that are augmented with features for writing software. We introduce here a @@ -2096,8 +2106,8 @@ ISBN-13 = "978-0-13-155045-2, 978-0-13-155151-0 (paperback)", LCCN = "QA76.76.C65 H65 1990", bibdate = "Wed Dec 15 09:13:20 1993", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/master.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/master.bib", URL = "http://www.holub.com/software/compiler.design.in.c.html", acknowledgement = ack-nhfb, remark = "Prentice-Hall Software Series, Editor: Brian W. @@ -2129,7 +2139,7 @@ CODEN = "COMLEF", ISSN = "0749-2839", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The author discusses the application of literate programming to object-oriented C++. He develops an Awk preprocessor to store documentation along with source @@ -2156,7 +2166,7 @@ number = "19", month = feb, year = "1990", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "{\TeX\-hax}", } @@ -2172,7 +2182,7 @@ month = dec, year = "1990", bibdate = "Mon Oct 4 17:21:07 1993", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-bc, keywords = "Text editors (Computer programs); WEB (Computer program language)", @@ -2191,7 +2201,7 @@ DOI = "https://doi.org/10.1109/52.43048", ISSN = "0740-7459 (print), 0740-7459 (electronic)", ISSN-L = "0740-7459", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Software", journal-URL = "http://www.computer.org/portal/web/csdl/magazines/software", @@ -2209,7 +2219,7 @@ CODEN = "CACMA2", ISSN = "0001-0782 (print), 1557-7317 (electronic)", ISSN-L = "0001-0782", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J79", @@ -2228,7 +2238,7 @@ month = mar, year = "1990", bibdate = "Wed Jan 17 12:52:57 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Writing reusable software components requires more than just following coding guidelines. It also requires that potential clients of a component can easily @@ -2277,7 +2287,7 @@ ISSN-L = "0740-7467", bibdate = "Tue Feb 11 14:07:43 MST 1997", bibsource = "Compendex database; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, affiliation = "Apple Computer Inc, USA", classification = "723", @@ -2304,7 +2314,7 @@ month = dec, year = "1990", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "2 vol.", abstract = "Programming tools for the Suprenum supercomputer have been developed. The programming environment comprises a @@ -2349,7 +2359,7 @@ number = "7", pages = "343--344", year = "1990", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-eg, } @@ -2363,7 +2373,7 @@ pages = "vii + 51", year = "1990", bibdate = "Tue Mar 3 12:48:18 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "Thesis advisor: Eitan Gurari.", acknowledgement = ack-nhfb, } @@ -2382,7 +2392,7 @@ ISSN = "0001-0782 (print), 1557-7317 (electronic)", ISSN-L = "0001-0782", bibdate = "Wed Jan 17 11:55:28 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J79", @@ -2401,7 +2411,7 @@ ISSN = "0018-9162 (print), 1558-0814 (electronic)", ISSN-L = "0018-9162", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Literate programming, a technique for coding software systems that promotes readability and comprehension, is examined in detail. The current literate-programming @@ -2443,7 +2453,7 @@ ISBN-13 = "978-0-89791-382-9", LCCN = "QA75.5 .A137 1991", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Conceptually, literate programming systems are document preparation systems that are augmented with features for writing programs. They offer features for @@ -2481,7 +2491,7 @@ month = Jun, year = "1991", ISSN = "0896-3207", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "TUGboat", } @@ -2497,7 +2507,7 @@ pages = "20", year = "1991", bibdate = "Tue Mar 03 11:57:42 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -2509,7 +2519,7 @@ address = "College Station, {TX}", year = "1991", bibdate = "Wed Aug 24 17:50:49 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-bc, } @@ -2526,7 +2536,7 @@ CODEN = "CSQUEM", ISSN = "0723-712X", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The application of computers in teaching statistics offers new possibilities. Two kinds of experiments are introduced. Firstly, experiments to demonstrate @@ -2555,8 +2565,8 @@ pages = "101--124", year = "1991", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/string-matching.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/string-matching.bib", abstract = "`Literate programming' is a notion that has been introduced by D. E. Knuth (1984), as a means for improving the art of programming by amalgamating @@ -2591,7 +2601,7 @@ month = oct, year = "1991", bibdate = "Tue Mar 3 12:48:18 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "When it was introduced, literate programming meant WEB. Desire to use WEB with languages other than Pascal led to the implementation of many versions. WEB is @@ -2623,7 +2633,7 @@ month = feb, year = "1991", bibdate = "Fri Apr 30 10:57:23 1999", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "Published in \cite{Ramsey:1991:LPTc}.", abstract = "We used literate programming on a team project to write a 33,000-line program for the Synthesizer @@ -2657,7 +2667,7 @@ ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Wed Jan 17 12:05:47 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Literate programming on a team project was used to write a 33000 line program for the Synthesizer Generator. The program, Penelope, was written using @@ -2696,7 +2706,7 @@ pages = "8", year = "1991", bibdate = "Tue Mar 3 12:48:18 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, keywords = "Structured programming -- Bibliography.; WEB (Computer program language) -- Bibliography.", @@ -2717,7 +2727,7 @@ ISSN-L = "0362-1340", bibdate = "Sun Dec 14 09:16:01 MST 2003", bibsource = "http://portal.acm.org/; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Although literate programming can be considered a programming style, it would better be categorized asa new programming paradigm. The entries in this @@ -2740,7 +2750,7 @@ publisher = pub-TEXPLORATOR, address = pub-TEXPLORATOR:adr, year = "1991", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -2757,7 +2767,7 @@ ISSN = "1000-9000", ISSN-L = "1000-9000", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The paper presents a broad outline and some implementation techniques of the literate programming system CDS. Compared with the previous ones (e.g. WEB, @@ -2792,7 +2802,7 @@ CODEN = "JOSHA4", ISSN = "0447-8053", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Discusses graphical user interfaces; interaction techniques; PERT; work breakdown structure; the X Window System; the Model-View-Controller; the @@ -2832,7 +2842,7 @@ ISBN-13 = "978-0-8186-2760-6", LCCN = "QA76.5.C6122 1992", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The authors have developed a module extractor called VAMP, that cooperates with a standard formatter. They describe the VAMP approach to literate programming. @@ -2875,7 +2885,7 @@ ISSN = "0018-9162 (print), 1558-0814 (electronic)", ISSN-L = "0018-9162", bibdate = "Fri Mar 13 19:01:27 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "Computer", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=2", @@ -2891,8 +2901,10 @@ year = "1992", CODEN = "STPGEM", ISSN = "0935-1183", + ISSN-L = "0935-1183", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/structprogram.bib", abstract = "The philosophy of literate programming was introduced by Donald Knuth while developing the documentation system {\TeX}. His WEB system consists of two @@ -2940,7 +2952,7 @@ month = Dec, year = "1992", ISSN = "0896-3207", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "See \cite{Childs:1992:LPP}.", acknowledgement = ack-nhfb, fjournal = "TUGboat", @@ -2955,7 +2967,7 @@ address = "College Station, TX, USA", year = "1992", bibdate = "Mon Oct 4 17:21:07 1993", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-bc, } @@ -2970,7 +2982,7 @@ year = "1992", ISSN = "0896-3207", bibdate = "Mon Oct 4 17:21:07 1993", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "See errata \cite{Childs:1992:ELP}.", acknowledgement = ack-bc, fjournal = "TUGboat", @@ -2984,7 +2996,7 @@ pages = "29--48", year = "1992", bibdate = "Wed Apr 3 16:24:12 MST 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -2999,7 +3011,7 @@ year = "1992", LCCN = "LD 791.8 C6 H817 1992", bibdate = "Tue Mar 03 13:24:49 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "Typescript (photocopy).", acknowledgement = ack-nhfb, keywords = "dissertations, academic --- UCLA --- computer @@ -3017,7 +3029,7 @@ ISBN-13 = "978-0-13-721952-0", LCCN = "QA76.62 .P49 1992", bibdate = "Thu Aug 26 10:51:16 1993", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "Presents literate programs in {\TeX} and Miranda.", price = "US\$42.00", acknowledgement = ack-dl, @@ -3036,15 +3048,15 @@ (hardcover)", LCCN = "QA76.6.K644", bibdate = "Tue Mar 03 12:24:41 1998", - bibsource = "http://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib; - http://www.math.utah.edu/pub/tex/bib/acm-turing-awards.bib; - http://www.math.utah.edu/pub/tex/bib/cacm1970.bib; - http://www.math.utah.edu/pub/tex/bib/cacm1980.bib; - http://www.math.utah.edu/pub/tex/bib/css.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/master.bib; - http://www.math.utah.edu/pub/tex/bib/spell.bib; - http://www.math.utah.edu/pub/tex/bib/texbook3.bib", + bibsource = "https://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib; + https://www.math.utah.edu/pub/tex/bib/acm-turing-awards.bib; + https://www.math.utah.edu/pub/tex/bib/cacm1970.bib; + https://www.math.utah.edu/pub/tex/bib/cacm1980.bib; + https://www.math.utah.edu/pub/tex/bib/css.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/master.bib; + https://www.math.utah.edu/pub/tex/bib/spell.bib; + https://www.math.utah.edu/pub/tex/bib/texbook3.bib", series = "CSLI Lecture Notes", URL = "http://csli-www.stanford.edu/publications/literate.html", acknowledgement = ack-nhfb, @@ -3081,7 +3093,7 @@ year = "1992", DOI = "https://doi.org/10.1145/382126.382663", bibdate = "Mon Jul 5 14:23:44 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -3101,7 +3113,7 @@ ISBN-13 = "978-0-7803-0494-9", LCCN = "TK5 .I32 1992 v.1-2", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "2 vol.", abstract = "The authors describe two tools for the literate programming language Cweb: Cnest and Cscope. Cweb is a @@ -3137,7 +3149,7 @@ pages = "1 computer disk interface guide (8 leaves)", year = "1992", bibdate = "Tue Mar 3 12:48:18 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.desy.de/user/projects/LitProg/LPW.html", acknowledgement = ack-nhfb, annote = "Title from disk label. ``(c) Norbert Lindenberg, 1991, @@ -3163,7 +3175,7 @@ address = "Mainz, Germany", year = "1992", bibdate = "Mon Jul 5 13:37:21 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "The {{\tt doc}} system is a literate programming facility used for much of the \LaTeX{} Project software development.", @@ -3185,11 +3197,11 @@ ISBN-13 = "978-0-13-838012-0", LCCN = "QA76.73.C15 P563 1991", bibdate = "Wed Dec 15 10:40:47 1993", - bibsource = "http://www.math.utah.edu/pub/tex/bib/ansistd.bib; - http://www.math.utah.edu/pub/tex/bib/fparith.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/master.bib; - http://www.math.utah.edu/pub/tex/bib/unix.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/ansistd.bib; + https://www.math.utah.edu/pub/tex/bib/fparith.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/master.bib; + https://www.math.utah.edu/pub/tex/bib/unix.bib", abstract = "\booktitle{The Standard C Library} shows you how to use all of the library functions mandated by the ANSI and ISO Standards for the programming language C. To @@ -3252,7 +3264,7 @@ month = aug, year = "1992", bibdate = "Tue Oct 12 10:28:45 1993", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "Submitted to {\em IEEE Software}.", acknowledgement = ack-bc # " and " # ack-nr, keywords = "literate programming, readability, programming @@ -3270,7 +3282,7 @@ CODEN = "JOOPEC", ISSN = "0896-8438", bibdate = "Mon May 20 06:00:25 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Programs are written to be executed by computers rather than read by humans. This complicates program comprehension, which plays a major role in software @@ -3302,7 +3314,7 @@ pages = "88", year = "1992", bibdate = "Tue Mar 03 12:05:40 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -3324,7 +3336,7 @@ ISBN-13 = "978-3-540-19752-2", LCCN = "QA76.76.D47 R44 199", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The paper describes a notation for presenting a claim that a program written in Ada satisfies a specification written in Z. The notation has both formal and informal @@ -3358,8 +3370,9 @@ year = "1992", CODEN = "STPGEM", ISSN = "0935-1183", + ISSN-L = "0935-1183", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Software maintenance engineers spend at least half of their time trying to understand the system they are to modify. This is due partially to the fact that often @@ -3411,7 +3424,7 @@ ISBN-13 = "????", LCCN = "????", bibdate = "Mon Jul 5 14:00:31 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -3424,7 +3437,7 @@ address = "Adelaide, South Australia, Australia", year = "1992", bibdate = "Mon Oct 4 17:25:40 1993", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-bc, } @@ -3436,7 +3449,7 @@ address = "Houston, TX, USA", year = "1993", bibdate = "Mon Oct 4 17:27:43 1993", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-bc, } @@ -3451,7 +3464,7 @@ month = Oct, year = "1993", ISSN = "0896-3207", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "TUGboat", } @@ -3464,7 +3477,7 @@ address = "College Station, TX, USA", year = "1993", bibdate = "Wed Aug 24 17:50:54 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-bc, } @@ -3483,7 +3496,7 @@ ISSN = "0163-6006", ISSN-L = "0163-6006", bibdate = "Sat May 18 15:34:25 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; UnCover library database", acknowledgement = ack-nhfb, fjournal = "APL Quote Quad", @@ -3500,7 +3513,7 @@ pages = "25", year = "1993", bibdate = "Tue Mar 03 12:01:31 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, keywords = "Programming (Electronic computers); Programming languages (Electronic computers); WEB (Computer program @@ -3519,9 +3532,9 @@ ISBN-13 = "978-0-201-57569-9", LCCN = "QA76.9.D3 K6 1993", bibdate = "Thu May 12 08:36:22 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/master.bib; - http://www.math.utah.edu/pub/tex/bib/texbook3.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/master.bib; + https://www.math.utah.edu/pub/tex/bib/texbook3.bib", abstract = "WEB is a software system that facilitates the creation of readable programs. It was originally developed by Donald E. Knuth as he programmed the TEX typesetting @@ -3553,7 +3566,7 @@ month = feb, year = "1993", bibdate = "Fri Aug 12 23:20:24 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -3566,7 +3579,7 @@ year = "1993", bibdate = "Tue Feb 11 14:07:43 MST 1997", bibsource = "Compendex database; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "A highly portable collection of programs and data will soon be available to researchers who study combinatorial algorithms and data structures. All files @@ -3614,7 +3627,7 @@ ISBN-13 = "978-0-201-54275-2", LCCN = "QA164 .K6 1993", bibdate = "Wed Aug 24 17:44:04 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "[From the publisher]: \ldots{} represents Knuth's final preparation for Volume 4 of {\em The Art of Computer Programming}. Through the use of about 30 @@ -3649,7 +3662,7 @@ CODEN = "COMLEF", ISSN = "0749-2839", bibdate = "Wed Jan 17 11:32:39 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "If you've ever had trouble inserting documentation into your code, this article will introduce you to Donald Knuth's concept of literate programming. Using @@ -3673,7 +3686,7 @@ ISSN = "0163-6006", ISSN-L = "0163-6006", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "International Conference on APL.", abstract = "To overcome the unreadability of traditional APL-code, D. E. Knuth's (1984) idea of literate programming is @@ -3704,7 +3717,7 @@ pages = "281--293", year = "1993", bibdate = "Sat Sep 7 17:48:58 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The author describes an approach to developing software which combines aspects of cleanroom software engineering with the Z formal specification language @@ -3728,7 +3741,7 @@ pages = "7--??", year = "1993", bibdate = "Wed Apr 3 16:24:12 MST 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -3747,7 +3760,7 @@ year = "1993", ISSN = "0106-0791", bibdate = "Tue Mar 3 12:48:18 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The problem examined in this paper is: How and to what extent can hypertext support literate Smalltalk programming? In order to examine this question we have @@ -3775,7 +3788,7 @@ pages = "153", year = "1993", bibdate = "Tue Mar 3 12:48:18 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, keywords = "Programming (Electronic computers); Software documentation.; Software engineering.", @@ -3794,7 +3807,7 @@ CODEN = "SEJOED", ISSN = "0268-6961", bibdate = "Wed Jan 17 11:33:06 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-ma, fjournal = "Software Engineering Journal", } @@ -3812,7 +3825,7 @@ CODEN = "SEJOED", ISSN = "0268-6961", bibdate = "Sat Sep 7 17:48:58 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The practice of literate programming is not widespread because existing literate programming systems have some undesirable characteristics such as programming @@ -3856,7 +3869,7 @@ month = sep, year = "1993", bibdate = "Fri Aug 07 15:13:08 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "Revised August 1994; lightly revised March 1995; revised and extended January--March 1996; revised 19 March 1996", @@ -3879,7 +3892,7 @@ ISSN-L = "0362-1340", bibdate = "Sun Dec 14 09:16:33 MST 2003", bibsource = "http://portal.acm.org/; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "This paper describes a subset of C, called C--, defined as a literate program using the Eli and FunnelWeb systems.", @@ -3918,7 +3931,7 @@ month = mar, year = "1994", ISSN = "0896-3207", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "TUGboat", } @@ -3937,7 +3950,7 @@ diskette)", LCCN = "Z253.4.T47G87, 686.2'2544536-dc20, 93-8603 CIP", bibdate = "Fri Feb 27 17:33:16 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", price = "US\$34.95", series = "McGraw-Hill programming tools for scientists and engineers", @@ -3962,9 +3975,9 @@ ISSN-L = "0038-0644", bibdate = "Fri Nov 28 17:07:54 2003", bibsource = "ftp://garbo.uwasa.fi/pc/doc-soft/fpbibl18.zip; - http://www.math.utah.edu/pub/tex/bib/fparith.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/spe.bib", + https://www.math.utah.edu/pub/tex/bib/fparith.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/spe.bib", note = "This paper derives an algorithm for division of long integers, and implements it as a literate program, although without identifier cross-references. See @@ -3997,7 +4010,7 @@ DOI = "https://doi.org/10.1109/WPC.1994.341262", bibdate = "Sat Sep 7 17:48:58 MDT 1996", bibsource = "Compendex database; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "IEEE catalog number 94TH06767.", abstract = "In this paper we describe UQ*, an integrated development environment that is currently under @@ -4035,19 +4048,20 @@ } @Article{Knuth:1994:MIL, - author = "D. E. Knuth", - title = "Mini-indexes for literate programs", - journal = j-SOFTWARE-CONCEPTS-TOOLS, + author = "Donald E. Knuth", + title = "Mini-Indexes for Literate Programs", + journal = j-SOFTW-CONCEPTS-TOOLS, volume = "15", number = "1", pages = "2--11", - month = "????", year = "1994", CODEN = "SCOTE5", - ISSN = "0945-8115", + ISSN = "0945-8115 (print), 1432-2188 (electronic)", ISSN-L = "0945-8115", - bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibdate = "Sat Jan 6 12:49:28 2024", + bibsource = "dblp computer science bibliography; https://dblp.org; + https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/structprogram.bib", abstract = "The author describes how to implement a documentation technique that helps readers to understand large programs or collections of programs, by providing local @@ -4057,14 +4071,18 @@ undirected graph.", acknowledgement = ack-nhfb, affiliation = "Dept. of Comput. Sci., Stanford Univ., CA, USA", + biburl = "https://dblp.org/rec/journals/stp/Knuth94.bib", classification = "C1160 (Combinatorial mathematics); C6110B (Software engineering techniques)", + dblp-id = "DBLP:journals/stp/Knuth94", fjournal = "Software---Concepts and Tools", + journal-URL = "https://link.springer.com/journal/378", keywords = "CTWILL; CWEB; Documentation technique; Hamiltonian circuits; Hypertext; Large programs; Literate programs; Mini-indexes; Undirected graph; WEB", thesaurus = "Graph theory; Indexing; Programming; System documentation", + timestamp = "Sat Jan 6 18:59:38 2024", } @Misc{Lee:1994:LPP, @@ -4073,7 +4091,7 @@ howpublished = "Web document", year = "1994", bibdate = "Mon Jul 5 13:55:05 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.cs.cmu.edu/~vaschelp/Programming/Literate/literate.html", acknowledgement = ack-nhfb, } @@ -4091,7 +4109,7 @@ CODEN = "SIGSD3", ISSN = "0097-8418 (print), 2331-3927 (electronic)", bibdate = "Sat Sep 7 17:48:58 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "This paper describes our experience in using situated programming to deliver modern computer science concepts in the introductory programming course at Carnegie @@ -4140,7 +4158,7 @@ CODEN = "MCPUEF", ISSN = "1060-7684", bibdate = "Sat Sep 7 17:48:58 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "M code has an opaque, even cryptic, appearance to the uninitiated. Part of the reason is the near universal practice of abbreviating M names. To make matters @@ -4189,7 +4207,7 @@ pages = "42--49", year = "1994", bibdate = "Sat Sep 7 17:48:58 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Literate programming is a documentation method that attempts to maintain consistency among the various design and program documents of a software system. @@ -4249,7 +4267,7 @@ year = "1994", ISSN = "1053-9239", bibdate = "Sat Nov 19 17:02:39 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "Lists sources of {\TeX}, and gives short reviews of several books about {\TeX}, {\AmSTeX}, {\LaTeX}, and literate programming.", @@ -4264,7 +4282,7 @@ pages = "15--24", month = jan, year = "1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nr, keywords = "debugging promela", } @@ -4283,7 +4301,7 @@ ISSN = "0740-7459 (print), 0740-7459 (electronic)", ISSN-L = "0740-7459", bibdate = "Sat Sep 07 18:06:25 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "https://www.cs.tufts.edu/~nr/pubs/lpsimp.pdf", abstract = "Literate-programming tools let you arrange the parts of a program in any order and extract documentation and @@ -4317,7 +4335,7 @@ ISBN-13 = "978-2-921173-18-6", LCCN = "????", bibdate = "Tue Mar 03 12:09:08 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -4329,7 +4347,7 @@ pages = "66--70", year = "1994", bibdate = "Sat Sep 07 18:08:08 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The ability to comprehend a program written by other individuals is becoming increasingly important in software development and maintenance. In an attempt to @@ -4370,7 +4388,7 @@ CODEN = "ITATEC", ISSN = "0926-5473", bibdate = "Sat Sep 7 17:48:58 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Focuses on the literate and structured presentation of formal proofs. The approach presented is influenced by L. Lamport's (1993) ideas on how to write proofs, by D. @@ -4412,7 +4430,7 @@ year = "1995", ISSN = "0896-3207", bibdate = "Mon Dec 30 06:50:49 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "ftp://ftp.ac.tex.uk/ctan/tex-archive/web/tweb/tug95/", acknowledgement = ack-nhfb, fjournal = "TUGboat", @@ -4426,7 +4444,7 @@ pages = "133--138", year = "1995", bibdate = "Sat Sep 7 17:48:58 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The CASEtool system described, arose out of a study spanning three strands of research: literate programming, the use of hypertext for program browsing, @@ -4469,7 +4487,7 @@ year = "1995", ISSN = "0896-3207", bibdate = "Mon Dec 30 06:50:53 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "TUGboat", } @@ -4485,7 +4503,7 @@ year = "1995", ISSN = "1088-0844, 1061-0030", bibdate = "Fri Jan 27 13:45:03 1995", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "RS\slash Magazine", } @@ -4501,7 +4519,7 @@ year = "1995", ISSN = "1088-0844, 1061-0030", bibdate = "Wed Mar 15 13:08:59 1995", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "RS\slash Magazine", } @@ -4517,7 +4535,7 @@ year = "1995", ISSN = "1088-0844, 1061-0030", bibdate = "Wed Mar 01 10:14:14 1995", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "RS\slash Magazine", } @@ -4533,7 +4551,7 @@ pages = "xiii + 268", year = "1995", bibdate = "Tue Mar 3 12:48:18 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, keywords = "Major computer science.", } @@ -4550,10 +4568,10 @@ ISBN-13 = "978-0-8053-1670-4", LCCN = "QA76.73.C15F75 1995", bibdate = "Wed Feb 08 10:55:34 1995", - bibsource = "http://www.math.utah.edu/pub/tex/bib/lcc.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/master.bib; - http://www.math.utah.edu/pub/tex/bib/texbook2.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/lcc.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/master.bib; + https://www.math.utah.edu/pub/tex/bib/texbook2.bib", note = "From the authors' announcement: ``\ldots this book is an example of a `literate program.' Like {\em {\TeX}: The Program\/} by D. E. Knuth (Addison-Wesley, 1986), @@ -4749,7 +4767,7 @@ pages = "282--288", year = "1995", bibdate = "Sat Sep 7 17:48:58 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Initial impressions of literate programming tend to the view that this is the software equivalent of the `Faberg{\'e} egg': ornate beyond all practical uses. @@ -4787,9 +4805,9 @@ ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Sat May 31 13:36:16 MDT 1997", - bibsource = "http://www.math.utah.edu/pub/tex/bib/fparith.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/spe.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/fparith.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/spe.bib", note = "See \cite{Hansen:1994:MLD}.", acknowledgement = ack-nhfb, ajournal = "Softw. Pract. Exp.", @@ -4807,7 +4825,7 @@ month = jul # "--" # nov, year = "1995", bibdate = "Mon Aug 03 07:16:15 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "Available electronically at \path=http://www.sun.ca/newsletter/SunOpsisVol4.No3/SunOpsisVol4.No3.html#12256=.", URL = "http://www.sun.ca/newsletter/SunOpsisVol4.No3/SunOpsisVol4.No3.html#12256", @@ -4828,7 +4846,7 @@ ISSN = "0098-5589 (print), 1939-3520 (electronic)", ISSN-L = "0098-5589", bibdate = "Sat Sep 07 18:07:06 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The problem examined in this paper is: how and to what extent can hypertext support literate programming in Smalltalk? In order to examine this question we have @@ -4868,7 +4886,7 @@ pages = "353", year = "1995", bibdate = "Tue Mar 03 11:56:05 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -4884,7 +4902,7 @@ ISBN-13 = "978-3-8266-0176-7", LCCN = "????", bibdate = "Wed Jan 17 12:09:31 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", price = "DM79.00", URL = "http://www.ora.de/itp/science/0176/0176.html", acknowledgement = ack-nhfb, @@ -4901,7 +4919,7 @@ address = "Amsterdam, The Netherlands", year = "1995", bibdate = "Tue Mar 03 11:53:04 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -4917,7 +4935,7 @@ CODEN = "CCUJEX", ISSN = "1075-2838", bibdate = "Mon May 20 05:54:05 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Feeling constrained by those comment delimiters in your C or C++ code? Literate programming is a way to really document your code.", @@ -4938,7 +4956,7 @@ CODEN = "DDJOEB", ISSN = "1044-789X", bibdate = "Sat Jun 01 08:59:05 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "Dr. Dobb's Journal of Software Tools", } @@ -4957,7 +4975,7 @@ (electronic)", ISSN-L = "0362-1340", bibdate = "Fri Jun 28 13:37:26 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "ACM SIGPLAN Notices", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J706", @@ -4977,7 +4995,7 @@ (electronic)", ISSN-L = "0362-1340", bibdate = "Thu Oct 24 06:44:49 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "ACM SIGPLAN Notices", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J706", @@ -4997,7 +5015,7 @@ (electronic)", ISSN-L = "0362-1340", bibdate = "Mon Nov 25 18:52:27 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "ACM SIGPLAN Notices", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J706", @@ -5017,7 +5035,7 @@ (electronic)", ISSN-L = "0362-1340", bibdate = "Thu Aug 15 12:31:49 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "ACM SIGPLAN Notices", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J706", @@ -5038,7 +5056,7 @@ (electronic)", ISSN-L = "0362-1340", bibdate = "Fri Feb 14 17:00:56 MST 1997", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, affiliation = "Tera Comput. Co., Seattle, WA, USA", fjournal = "ACM SIGPLAN Notices", @@ -5054,7 +5072,7 @@ DOI = "https://doi.org/10.1109/ICSR.1996.496128", bibdate = "Tue Feb 11 14:07:43 MST 1997", bibsource = "Compendex database; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, affiliation = "Texas A\&M Univ", affiliationaddress = "College Station, TX, USA", @@ -5075,7 +5093,7 @@ pages = "247--252", year = "1996", bibdate = "Fri Feb 27 15:48:07 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, searchkey = "su:literate programming", } @@ -5089,7 +5107,7 @@ pages = "540--??", year = "1996", bibdate = "Fri Feb 27 15:48:07 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, searchkey = "su:literate programming", } @@ -5106,7 +5124,7 @@ ISBN-13 = "978-981-02-2732-6", LCCN = "QA76.7 .L355 1996", bibdate = "Fri Feb 27 18:22:41 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "Many of the chapters in this book are literate programs.", URL = "http://www.cwi.nl/~gipe/language_prototyping/index.html", @@ -5135,7 +5153,7 @@ pages = "280--286", year = "1996", bibdate = "Tue Mar 03 09:08:41 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-lw, } @@ -5151,7 +5169,7 @@ CODEN = "SEJOED", ISSN = "0268-6961", bibdate = "Thu Feb 13 07:02:10 MST 1997", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, affiliation = "Dept. of Comput. Sci., Glasgow Univ., UK", fjournal = "Software Engineering Journal", @@ -5165,7 +5183,7 @@ pages = "97--105", year = "1996", bibdate = "Fri Feb 27 15:48:07 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, searchkey = "su:literate programming", } @@ -5182,7 +5200,7 @@ ISBN-13 = "978-1-57398-013-5", LCCN = "????", bibdate = "Fri Jun 26 10:43:09 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "With forewords by Dennis M. Ritchie and Ken Thompson. Prefatory notes by Peter H. Salus and Michael Tilson; a Historical Note by Peter H. Salus; and Appreciations by @@ -5210,7 +5228,7 @@ year = "1996", DOI = "https://doi.org/10.1109/CMPASS.1996.507887", bibdate = "Thu Feb 13 07:02:10 MST 1997", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The assurance argument that a trusted system satisfies its information security requirements mast be convincing, because the argument supports the @@ -5244,7 +5262,7 @@ pages = "10", year = "1996", bibdate = "Fri Aug 07 15:35:09 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://csgwww.uwaterloo.ca/~dmg/research/isacc96.ps.gz", acknowledgement = ack-nhfb, } @@ -5260,7 +5278,7 @@ pages = "vii, 111", year = "1996", bibdate = "Tue Mar 3 12:48:18 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, keywords = "Hypertext systems.; SGML (Document markup language)", } @@ -5279,7 +5297,7 @@ ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Tue Feb 11 14:07:43 MST 1997", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, affiliation = "Bell Communications Research", affiliationaddress = "Morristown, NJ, USA", @@ -5313,7 +5331,7 @@ ISSN = "0920-5489", ISSN-L = "0920-5489", bibdate = "Fri Aug 07 15:39:54 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.sil.org/sgml/bib-or.html#rathMacleod", acknowledgement = ack-nhfb, fjournal = "Computer Standards and Interfaces", @@ -5332,7 +5350,7 @@ CODEN = "FACMES", ISSN = "0934-5043", bibdate = "Thu Feb 13 08:47:53 MST 1997", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, affiliation = "Forschungsgruppe Softwaretech., Tech. Univ. Berlin, Germany", @@ -5348,7 +5366,7 @@ month = feb, year = "1996", bibdate = "Fri Aug 07 15:11:47 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.uic.edu/~cmsmcq/tech/sweb/swebyacc.html", acknowledgement = ack-nhfb, } @@ -5368,7 +5386,7 @@ ISBN-13 = "978-0-89791-845-9", LCCN = "????", bibdate = "Mon Jul 5 14:21:16 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -5380,7 +5398,7 @@ pages = "267--272", year = "1996", bibdate = "Mon Mar 02 10:05:04 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-lw, } @@ -5399,7 +5417,7 @@ ISBN-13 = "978-0-89791-757-5", ISSN = "0097-8418 (print), 2331-3927 (electronic)", bibdate = "Fri Feb 27 15:28:18 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "SIGCSE Bulletin (ACM Special Interest Group on Computer Science Education)", @@ -5418,7 +5436,7 @@ day = "2--4", month = jul, year = "1997", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -5435,7 +5453,7 @@ ISSN = "0001-0782 (print), 1557-7317 (electronic)", ISSN-L = "0001-0782", bibdate = "Fri May 2 13:20:05 MDT 1997", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "Shows typeset literate code produced by methods described in \cite{Baecker:1990:HFT}.", acknowledgement = ack-nhfb, @@ -5454,7 +5472,7 @@ ISBN-13 = "978-1-85032-305-1", LCCN = "????", bibdate = "Fri Feb 27 15:48:07 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "Includes disk.", price = "US\$36.95", series = "ITCP-UK Computer Science Series", @@ -5474,7 +5492,7 @@ pages = "165", year = "1997", bibdate = "Tue Mar 03 11:51:05 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -5490,8 +5508,8 @@ ISBN-13 = "978-0-201-49841-7", LCCN = "QA76.73.C15H37 1997", bibdate = "Fri Feb 27 16:08:11 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/fparith.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/fparith.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib", price = "US\$37.95", series = "Addison-Wesley Professional Computing Series", URL = "http://www.cs.princeton.edu/software/cii/", @@ -5532,7 +5550,7 @@ CODEN = "DDJOEB", ISSN = "1044-789X", bibdate = "Wed Apr 30 07:02:17 1997", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "Dr. Dobb's Journal of Software Tools", } @@ -5548,7 +5566,7 @@ month = jul, year = "1997", bibdate = "Wed Aug 20 10:15:08 1997", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; http://www.usenix.org/cgi-bin/sortbib.pl?-sA", acknowledgement = ack-nhfb, annote = "The system includes a semiliterate programming system @@ -5568,7 +5586,7 @@ ISSN = "1075-3583 (print), 1938-3827 (electronic)", bibdate = "Fri Oct 9 08:35:26 MDT 1998", bibsource = "http://www.linuxjournal.com/issue42/index.html; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "ftp://ftp.ssc.com/pub/lj/listings/issue42/2188.tgz", abstract = "An introduction to Noweb, a tool designed to aid the programmer in producing understandable and easy to @@ -5585,7 +5603,7 @@ month = jul, year = "1997", bibdate = "Fri Aug 07 15:50:40 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.isogen.com/papers/litprogarch/litprogarch.html", acknowledgement = ack-nhfb, } @@ -5599,7 +5617,7 @@ month = jul, year = "1997", bibdate = "Fri Aug 07 15:50:40 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.sil.org/sgml/kimberDSSSLLitProg.html", acknowledgement = ack-nhfb, } @@ -5617,7 +5635,7 @@ ISSN = "0164-0925 (print), 1558-4593 (electronic)", ISSN-L = "0164-0925", bibdate = "Mon Jul 21 05:58:25 1997", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "This article was written using the {\tt noweb} literate programming system.", acknowledgement = ack-nhfb, @@ -5639,8 +5657,8 @@ ISSN = "0896-3207", bibdate = "Fri Jul 13 10:24:20 MDT 2007", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; - http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat; + https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-bnb # " and " # ack-nhfb, } @@ -5660,7 +5678,7 @@ ISBN-13 = "", LCCN = "????", bibdate = "Mon Dec 29 14:27:24 1997", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.python.org/workshops/1997-10/proceedings/zukowski.html", acknowledgement = ack-nhfb, } @@ -5672,7 +5690,7 @@ howpublished = "World-Wide Web document.", year = "1998", bibdate = "Fri Aug 07 15:53:07 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.ems.uq.edu.au/Public/Lists/xml-litprog-l/framework.html", acknowledgement = ack-nhfb, } @@ -5686,7 +5704,7 @@ month = may, year = "1998", bibdate = "Fri Aug 07 15:56:12 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.ems.uq.edu.au/People/Tony/litprog/xml/dtd/funnelweb.dtd", acknowledgement = ack-nhfb, } @@ -5697,7 +5715,7 @@ howpublished = "World-Wide Web document.", year = "1998", bibdate = "Fri Aug 07 15:58:11 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.ems.uq.edu.au/Seminars/XML_LitProg/", acknowledgement = ack-nhfb, } @@ -5708,7 +5726,7 @@ howpublished = "World-Wide Web document.", year = "1998", bibdate = "Fri Aug 07 14:58:51 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "This document includes links to other literate-programming-in-SGML documents and software packages.", @@ -5731,7 +5749,7 @@ ISSN-L = "0362-1340", bibdate = "Sun Dec 14 09:17:55 MST 2003", bibsource = "http://portal.acm.org/; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "See comments \cite{Bigot:1999:LEC,Syropoulos:1999:LER}.", acknowledgement = ack-nhfb, @@ -5751,8 +5769,8 @@ ISSN = "0896-3207", bibdate = "Fri Jul 13 10:24:20 MDT 2007", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; - http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat; + https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-bnb # " and " # ack-nhfb, } @@ -5768,7 +5786,7 @@ CODEN = "JSSOBK", ISSN = "????", bibdate = "Sun Nov 17 22:35:43 2002", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.jstatsoft.org/v03/i02; http://www.jstatsoft.org/v03/i02/code/; http://www.jstatsoft.org/v03/i02/coxregdoc.pdf; @@ -5787,7 +5805,7 @@ howpublished = "World-Wide Web document.", year = "1998", bibdate = "Fri Aug 07 15:54:17 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.halcyon.com/barrym/toxml.htm", acknowledgement = ack-nhfb, } @@ -5806,7 +5824,7 @@ ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Thu Jul 29 15:12:01 MDT 1999", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; http://www3.interscience.wiley.com/journalfinder.html", URL = "http://www3.interscience.wiley.com/cgi-bin/abstract?ID=1761; http://www3.interscience.wiley.com/cgi-bin/fulltext?ID=1761&PLACEBO=IE.pdf", @@ -5829,7 +5847,7 @@ ISSN-L = "0302-9743", bibdate = "Tue Feb 5 11:51:51 MST 2002", bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t1384.htm; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://link.springer-ny.com/link/service/series/0558/bibs/1384/13840393.htm; http://link.springer-ny.com/link/service/series/0558/papers/1384/13840393.pdf", acknowledgement = ack-nhfb, @@ -5842,7 +5860,7 @@ howpublished = "World-Wide Web document.", year = "1998", bibdate = "Mon Aug 10 08:47:43 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.triode.net.au/~skaller/interscript/iscrs.html", acknowledgement = ack-nhfb, } @@ -5853,7 +5871,7 @@ howpublished = "World-Wide Web document.", year = "1998", bibdate = "Mon Aug 10 08:47:43 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.triode.net.au/~skaller/interscript/iscru.html", acknowledgement = ack-nhfb, } @@ -5864,7 +5882,7 @@ howpublished = "World-Wide Web document.", year = "1998", bibdate = "Mon Aug 10 08:58:23 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.triode.net.au/~skaller/interscript/iscrdown.html", acknowledgement = ack-nhfb, } @@ -5882,7 +5900,7 @@ ISSN = "1044-789X", bibdate = "Sat May 30 10:34:02 MDT 1998", bibsource = "http://www.ddj.com/ddj/1998/1998_07/index.htm; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, annote = "Lee Wittenberg <leew@samson.kean.edu> comments on the LitProg mailing list on 29 May 1998 19:05:08 @@ -5962,7 +5980,7 @@ (electronic)", ISSN-L = "0362-1340", bibdate = "Wed Apr 21 17:43:37 1999", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "See \cite{Hatzigeorgiu:1998:LPS,Syropoulos:1999:LER}.", acknowledgement = ack-nhfb, @@ -5985,10 +6003,10 @@ MRclass = "68U15", MRnumber = "MR1676044 (2002k:68194)", bibdate = "Mon May 10 18:01:36 1999", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/master.bib; - http://www.math.utah.edu/pub/tex/bib/texbook3.bib; - http://www.math.utah.edu/pub/tex/bib/typeset.bib; + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/master.bib; + https://www.math.utah.edu/pub/tex/bib/texbook3.bib; + https://www.math.utah.edu/pub/tex/bib/typeset.bib; MathSciNet database", price = "US\$90.00 (cloth), US\$39.95 (paperback)", series = "CSLI Lecture Notes", @@ -6044,7 +6062,7 @@ ISBN-13 = "978-0-521-56329-1 (hardcover)", LCCN = "QA76.73.C153 M44 1999", bibdate = "Mon Jul 5 13:05:43 MDT 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; z3950.loc.gov:7090/Voyager", URL = "http://www.loc.gov/catdir/description/cam0210/99024952.html; http://www.loc.gov/catdir/toc/cam027/99024952.html", @@ -6082,7 +6100,7 @@ (electronic)", ISSN-L = "0362-1340", bibdate = "Wed Feb 23 18:36:28 2000", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "Describes a literate programming environment, LAML (Lisp Abstracted Markup Language), for HTML dynamically generated from Scheme programs.", @@ -6098,7 +6116,7 @@ Environment", year = "1999", bibdate = "Mon Aug 02 07:21:42 1999", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "About to be submitted for publication.", URL = "http://www.cs.auc.dk/~normark/elucidative-programming/index.html", acknowledgement = ack-kn, @@ -6119,7 +6137,7 @@ (electronic)", ISSN-L = "0362-1340", bibdate = "Wed Apr 21 17:43:37 1999", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "See \cite{Hatzigeorgiu:1998:LPS,Bigot:1999:LEC}.", acknowledgement = ack-nhfb, fjournal = "ACM SIGPLAN Notices", @@ -6136,7 +6154,7 @@ address = "Cambridge, MA, USA", year = "19xx", bibdate = "Mon Sep 24 17:27:44 2001", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.eecs.harvard.edu/~nr/noweb/nuweb.html", acknowledgement = ack-nhfb, } @@ -6149,7 +6167,7 @@ month = jan, year = "2000", bibdate = "Tue Feb 11 05:53:54 2003", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.advogato.org/article/28.html", acknowledgement = ack-nhfb, annote = "Several comments on the value of literate @@ -6168,7 +6186,7 @@ CODEN = "DDJOEB", ISSN = "1044-789X", bibdate = "Thu Nov 9 08:25:13 MST 2000", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.ddj.com/ftp/2000/2000_02/litjava.txt; http://www.ddj.com/ftp/2000/2000_02/litjava.zip", abstract = "Marius, the system Andrew presents here, implements @@ -6197,7 +6215,7 @@ MRnumber = "2001c:68066", MRreviewer = "A. D. Booth", bibdate = "Fri Mar 22 18:03:29 MST 2002", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; MathSciNet database", series = "CSLI Lecture Notes", acknowledgement = ack-nhfb, @@ -6259,7 +6277,7 @@ ISBN-13 = "978-0-7695-0656-2", LCCN = "????", bibdate = "Mon Jul 5 14:28:13 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "IEEE Computer Society order number PR00656.", acknowledgement = ack-nhfb, } @@ -6270,7 +6288,7 @@ howpublished = "Web document", year = "2000", bibdate = "Mon Jul 5 14:04:20 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.ross.net/funnelweb/tutorial/intro_what.html", acknowledgement = ack-nhfb, } @@ -6292,7 +6310,7 @@ ISSN = "1045-9243", ISSN-L = "1045-9243", bibdate = "Mon Jul 5 14:39:37 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "In an effort to effectively annotate and document a FORTRAN 90 module that extends the language's mathematical capabilities to the performance of @@ -6320,7 +6338,7 @@ ISSN = "1061-7264 (print), 1931-1311 (electronic)", ISSN-L = "1061-7264", bibdate = "Mon Aug 27 19:11:05 2001", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "ACM Fortran Forum", keywords = "\FWEB{}", @@ -6340,7 +6358,7 @@ ISSN = "1061-7264 (print), 1931-1311 (electronic)", ISSN-L = "1061-7264", bibdate = "Mon Aug 27 19:11:05 2001", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "ACM Fortran Forum", keywords = "\FWEB{}", @@ -6361,7 +6379,7 @@ ISSN = "1530-1362", LCCN = "????", bibdate = "Mon Jul 5 14:32:37 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The `literate' programming model is extended to include a concept of mechanical transformation. A prototype tool, FLP (formal literate programming tool), @@ -6409,7 +6427,7 @@ ISBN-13 = "978-0-7695-1850-3", LCCN = "????", bibdate = "Mon Jul 5 13:53:06 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "IEEE Computer Society order number PR01850.", URL = "http://www.gbv.de/dms/bowker/toc/9780769518503", abstract = "The source code for computer programs is destined to @@ -6461,7 +6479,7 @@ ISBN-13 = "978-3-7908-1517-7", LCCN = "????", bibdate = "Sat Jul 5 10:32:16 2008", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.ci.tuwien.ac.at/~leisch/Sweave; http://www.quantlet.de/scripts/compstat2002_wh/paper/full/S_08_leisch.pdf; http://www.statistik.lmu.de/~leisch/Sweave/Sweave-compstat2002.pdf", @@ -6479,8 +6497,8 @@ month = dec, year = "2002", bibdate = "Sat Jul 05 19:24:59 2008", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/s-plus.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/s-plus.bib", URL = "http://www.statistik.lmu.de/~leisch/Sweave/Sweave-Rnews-2002-3.pdf", acknowledgement = ack-nhfb, } @@ -6497,7 +6515,7 @@ month = oct, year = "2002", bibdate = "Sat Jul 5 19:36:50 2008", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://biosun1.harvard.edu/courses/individual/bio271/lectures/L7/Sweave-manual-20021007.pdf; http://rss.acs.unt.edu/Rdoc/library/utils/html/Rtangle.html; http://rss.acs.unt.edu/Rdoc/library/utils/html/RweaveLatex.html; @@ -6522,7 +6540,7 @@ ISBN-13 = "978-0-7803-7198-9", LCCN = "QA76.9.H85.I32 2001", bibdate = "Mon Jul 5 14:55:41 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "IEEE catalog number 01TH8587.", URL = "http://ieeexplore.ieee.org/servlet/opac?punumber=7811", abstract = "Computer Aided Design software is a class of @@ -6544,7 +6562,7 @@ howpublished = "Web document and software.", year = "2002", bibdate = "Mon Jul 5 13:57:26 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://personalpages.tds.net/%7eedream/design.html", acknowledgement = ack-nhfb, } @@ -6555,7 +6573,7 @@ howpublished = "Web document and software.", year = "2002", bibdate = "Mon Jul 5 13:57:26 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://personalpages.tds.net/%7eedream/intro.html", acknowledgement = ack-nhfb, } @@ -6571,8 +6589,8 @@ ISSN = "0896-3207", bibdate = "Fri Jul 13 10:24:20 MDT 2007", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; - http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat; + https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-bnb # " and " # ack-nhfb, } @@ -6596,7 +6614,7 @@ ISSN = "1092-8138", LCCN = "????", bibdate = "Mon Jul 5 14:02:43 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "IEEE Computer Society order number PR01495.", URL = "http://www.gbv.de/dms/bowker/toc/9780769514963", abstract = "It is difficult and challenging to comprehend the @@ -6642,7 +6660,7 @@ ISSN = "0018-9162 (print), 1558-0814 (electronic)", ISSN-L = "0018-9162", bibdate = "Fri Dec 12 19:53:57 MST 2003", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://csdl.computer.org/dl/mags/co/2003/04/r4104.htm; http://csdl.computer.org/dl/mags/co/2003/04/r4104.pdf", abstract = "Traditional approaches to coding interactive programs, @@ -6685,7 +6703,7 @@ MRnumber = "MR2019164 (2005b:68045)", MRreviewer = "Julian Padget", bibdate = "Thu Sep 30 07:16:32 2004", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", price = "US\$75.00 (hardback), US\$35.00 (paperback)", acknowledgement = ack-nhfb, classmath = "68-03 (Historical (computer science)); 00B60 @@ -6755,7 +6773,7 @@ MRnumber = "MR2030307 (2005c:01030)", MRreviewer = "Alexander Zvonkin", bibdate = "Mon Dec 08 07:03:58 2003", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", price = "US\$40.00", series = "CSLI Lecture Notes", acknowledgement = ack-nhfb, @@ -6862,8 +6880,8 @@ ISSN = "1609-3631", ISSN-L = "1609-3631", bibdate = "Thu Aug 13 09:25:10 2015", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/rjournal.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/rjournal.bib", URL = "http://CRAN.R-project.org/doc/Rnews/", acknowledgement = ack-r-project, fjournal = "R News: the Newsletter of the R Project", @@ -6883,7 +6901,7 @@ ISSN = "0933-2480 (print), 1867-2280 (electronic)", ISSN-L = "0933-2480", bibdate = "Sat Jul 05 19:30:42 2008", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, fjournal = "Chance: a magazine for people interested in the analysis of data", @@ -6908,7 +6926,7 @@ ISSN = "1609-395X", LCCN = "????", bibdate = "Sat Jul 05 19:28:07 2008", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -6922,8 +6940,8 @@ month = oct, year = "2003", bibdate = "Sat Jul 05 19:24:59 2008", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/s-plus.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/s-plus.bib", URL = "http://www.statistik.lmu.de/~leisch/Sweave/Sweave-Rnews-2003-2.pdf", acknowledgement = ack-nhfb, } @@ -6939,8 +6957,8 @@ ISSN = "0896-3207", bibdate = "Fri Jul 13 10:24:20 MDT 2007", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; - http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat; + https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-bnb # " and " # ack-nhfb, } @@ -6953,7 +6971,7 @@ address = "Seattle, WA, USA", year = "2003", bibdate = "Sat Jul 05 19:31:41 2008", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.bepress.com/uwbiostat/paper194", abstract = "Literate Statistical Practice (LSP, Rossini, 2001) describes an approach for creating self-documenting @@ -6991,7 +7009,7 @@ ISSN-L = "0038-0644", bibdate = "Sat Nov 29 17:39:47 MST 2003", bibsource = "http://www.interscience.wiley.com/jpages/0038-0644; - http://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib; http://www3.interscience.wiley.com/journalfinder.html", acknowledgement = ack-nhfb, fjournal = "Software---Practice and Experience", @@ -7008,7 +7026,7 @@ pages = "x + 428", year = "2004", bibdate = "Mon Aug 27 14:54:14 2007", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "ftp://ftp.gnu.org/avl/", acknowledgement = ack-nhfb, remark = "From the author: ``libavl is written using a literate @@ -7035,7 +7053,7 @@ ISBN-13 = "????", LCCN = "????", bibdate = "Mon Jul 5 13:45:09 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.108.5578&rep=rep1&type=pdf", abstract = "In this paper we discuss the characteristics of Literate Programming and the development of programming @@ -7055,7 +7073,7 @@ pages = "250--253", year = "2004", bibdate = "Mon Jul 5 13:31:57 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.cs.up.ac.za/cs/vpieterse/pub/XP2004_LP.pdf", abstract = "In this position paper, after explaining the essentials of literate programming, we argue that a @@ -7086,7 +7104,7 @@ ISBN-13 = "978-0-7803-8225-1", LCCN = "QA76.9.H85.I32 2003; QA76.9.H85.I32", bibdate = "Mon Jul 5 14:53:21 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://ieeexplore.ieee.org/xpl/RecentCon.jsp?puNumber=8908", abstract = "The computer is a highly literate instrument. And, the design of most computer software, especially @@ -7120,8 +7138,8 @@ ISSN = "1609-3631", ISSN-L = "1609-3631", bibdate = "Thu Aug 13 09:25:10 2015", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/rjournal.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/rjournal.bib", URL = "http://CRAN.R-project.org/doc/Rnews/", acknowledgement = ack-r-project, fjournal = "R News: the Newsletter of the R Project", @@ -7143,8 +7161,8 @@ ISSN = "0956-7968 (print), 1469-7653 (electronic)", ISSN-L = "0956-7968", bibdate = "Tue Jul 11 18:07:44 MDT 2017", - bibsource = "http://www.math.utah.edu/pub/tex/bib/jfunctprogram.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/jfunctprogram.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "https://www.cambridge.org/core/product/689EF8960521587B23203A56C46D2592", acknowledgement = ack-nhfb, ajournal = "J. Funct. Program.", @@ -7170,7 +7188,7 @@ ISSN = "1045-9243", ISSN-L = "1045-9243", bibdate = "Mon Jul 5 14:44:14 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Code maintenance is perhaps the most time-consuming problem in developing source code for various purposes. The increased complexity of @@ -7208,8 +7226,8 @@ ISSN = "0020-7608 (print), 1097-461X (electronic)", ISSN-L = "0020-7608", bibdate = "Sat Oct 1 09:42:49 MDT 2011", - bibsource = "http://www.math.utah.edu/pub/tex/bib/ijqc2000.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/ijqc2000.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, ajournal = "Int. J. Quantum Chem.", fjournal = "International Journal of Quantum Chemistry", @@ -7231,8 +7249,8 @@ ISSN = "1609-3631", ISSN-L = "1609-3631", bibdate = "Thu Aug 13 09:25:10 2015", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/rjournal.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/rjournal.bib", URL = "http://CRAN.R-project.org/doc/Rnews/", acknowledgement = ack-r-project, fjournal = "R News: the Newsletter of the R Project", @@ -7252,7 +7270,7 @@ ISBN-13 = "978-3-528-05905-7 (paperback)", LCCN = "ML74.4.M6 R83 2005", bibdate = "Mon Jul 5 12:55:55 MDT 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; prodorbis.library.yale.edu:7090/voyager; z3950.gbv.de:20011/gvk", series = "vieweg-it", @@ -7300,7 +7318,7 @@ ISSN = "1063-6773", LCCN = "QA76.76.S64", bibdate = "Mon Jul 5 14:49:12 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "he documentation of a program often falls behind the evolution of the program source files. When this happens it may be attractive to shift the documentation @@ -7339,8 +7357,8 @@ ISSN = "1609-3631", ISSN-L = "1609-3631", bibdate = "Thu Aug 13 09:25:10 2015", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/rjournal.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/rjournal.bib", URL = "http://CRAN.R-project.org/doc/Rnews/", acknowledgement = ack-r-project, fjournal = "R News: the Newsletter of the R Project", @@ -7361,7 +7379,7 @@ CODEN = "JSSOBK", ISSN = "1548-7660", bibdate = "Fri Jul 4 10:54:15 MDT 2008", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.jstatsoft.org/v16/i06", abstract = "A modification of an accept-and-reject algorithm to sample from a set of restricted permutations is @@ -7393,8 +7411,8 @@ ISSN = "1609-3631", ISSN-L = "1609-3631", bibdate = "Thu Aug 13 09:25:10 2015", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/rjournal.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/rjournal.bib", URL = "http://CRAN.R-project.org/doc/Rnews/", acknowledgement = ack-r-project, fjournal = "R News: the Newsletter of the R Project", @@ -7417,7 +7435,7 @@ ISSN = "1531-4278", bibdate = "Fri Jun 20 10:12:12 MDT 2008", bibsource = "http://www.acm.org/pubs/contents/journals/jeric/; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Designing and explaining programs are often difficult tasks, especially when novices are involved. It also concerns more experienced programmers when complex @@ -7452,8 +7470,8 @@ month = nov, year = "2006", bibdate = "Sat Jul 5 19:11:39 2008", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/s-plus.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/s-plus.bib", URL = "http://stat.epfl.ch/webdav/site/stat/shared/Regression/EPFL-Sweave-powerdot.pdf", acknowledgement = ack-nhfb, } @@ -7474,7 +7492,7 @@ ISBN-13 = "978-1-4244-1500-7", LCCN = "????", bibdate = "Mon Jul 5 14:36:16 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "We examine the potential for applying the literate programming approach to end-user development problems in which explicit knowledge capture and sharing is an @@ -7501,7 +7519,7 @@ ISBN-13 = "978-1-59327-119-0", LCCN = "QA76.6 .G656 2007", bibdate = "Mon Jul 5 13:28:08 MDT 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; library.mit.edu:9909/mit01", acknowledgement = ack-nhfb, keywords = "literate programming", @@ -7564,7 +7582,7 @@ CODEN = "JSSOBK", ISSN = "1548-7660", bibdate = "Fri Jul 4 10:54:15 MDT 2008", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.jstatsoft.org/v19/i08", abstract = "SASweave is a collection of scripts that allow one to embed SAS code into a {\LaTeX} document, and @@ -7599,7 +7617,7 @@ ISSN-L = "1932-2232", bibdate = "Wed Jun 18 09:23:01 MDT 2008", bibsource = "http://portal.acm.org/; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Axiom has been in development since 1971. Originally called Scratchpad II, it was developed by IBM under the direction of Richard Jenks[1]. The project evolved over @@ -7645,8 +7663,8 @@ month = mar, year = "2008", bibdate = "Sat Jul 5 19:14:35 2008", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/s-plus.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/s-plus.bib", URL = "http://www.statistik.tuwien.ac.at/public/filz/students/SweaveExa.pdf", acknowledgement = ack-nhfb, } @@ -7664,8 +7682,8 @@ ISSN = "1609-3631", ISSN-L = "1609-3631", bibdate = "Thu Aug 13 09:25:10 2015", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/rjournal.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/rjournal.bib", URL = "http://CRAN.R-project.org/doc/Rnews/", acknowledgement = ack-r-project, fjournal = "R News: the Newsletter of the R Project", @@ -7688,9 +7706,9 @@ ISSN = "0883-7252 (print), 1099-1255 (electronic)", ISSN-L = "0883-7252", bibdate = "Sat Mar 9 10:20:23 MST 2019", - bibsource = "http://www.math.utah.edu/pub/tex/bib/jappleconometrics.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/s-plus.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/jappleconometrics.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/s-plus.bib", acknowledgement = ack-nhfb, fjournal = "Journal of Applied Econometrics", journal-URL = "https://onlinelibrary.wiley.com/journal/10991255; @@ -7713,7 +7731,7 @@ ISBN-13 = "978-1-60558-768-4", LCCN = "????", bibdate = "Mon Jul 5 14:17:13 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming is a philosophy that argues computer @@ -7752,8 +7770,8 @@ ISBN-13 = "978-1-4302-1948-4", LCCN = "HD8039.D37 S45 2009", bibdate = "Mon Jul 5 13:24:12 MDT 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/unix.bib; + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/unix.bib; z3950.bibsys.no:2100/BIBSYS", acknowledgement = ack-nhfb, keywords = "literate programming", @@ -7787,7 +7805,7 @@ ISBN-13 = "978-1-157-24708-1", LCCN = "????", bibdate = "Mon Jul 5 13:09:21 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -7804,7 +7822,7 @@ ISBN-13 = "978-1-156-09458-7", LCCN = "????", bibdate = "Mon Jul 5 13:09:21 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -7821,7 +7839,7 @@ ISBN-13 = "978-1-156-87498-1", LCCN = "????", bibdate = "Mon Jul 5 13:10:57 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, } @@ -7835,9 +7853,9 @@ year = "2010", ISSN = "0896-3207", bibdate = "Sun Nov 27 15:57:23 MST 2011", - bibsource = "http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat; - http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/tugboat.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat; + https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/tugboat.bib", acknowledgement = ack-bnb # " and " # ack-nhfb, } @@ -7854,8 +7872,8 @@ CODEN = "????", ISSN = "2073-4859", bibdate = "Thu Aug 13 15:54:57 2015", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/rjournal.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/rjournal.bib", URL = "http://journal.r-project.org/archive/2011-2/RJournal_2011-2_Lundholm.pdf", acknowledgement = ack-r-project, fjournal = "The R Journal", @@ -7877,9 +7895,9 @@ ISSN = "0883-7252 (print), 1099-1255 (electronic)", ISSN-L = "0883-7252", bibdate = "Sat Mar 9 10:20:32 MST 2019", - bibsource = "http://www.math.utah.edu/pub/tex/bib/jappleconometrics.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/s-plus.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/jappleconometrics.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/s-plus.bib", acknowledgement = ack-nhfb, fjournal = "Journal of Applied Econometrics", journal-URL = "https://onlinelibrary.wiley.com/journal/10991255; @@ -7901,8 +7919,8 @@ CODEN = "JSSOBK", ISSN = "1548-7660", bibdate = "Wed Mar 28 07:47:54 MDT 2012", - bibsource = "http://www.math.utah.edu/pub/tex/bib/jstatsoft.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/jstatsoft.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://www.jstatsoft.org/v46/i03", acknowledgement = ack-nhfb, fjournal = "Journal of Statistical Software", @@ -7917,7 +7935,7 @@ month = nov, year = "2013", bibdate = "Tue Feb 18 07:48:15 2020", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "https://github.com/arnoldrobbins/texiwebjr", abstract = "This is TexiWeb Jr., a super simple literate programming system built on top of Texinfo and @@ -7941,12 +7959,12 @@ ISBN-13 = "978-0-13-399231-1 (paperback), 978-0-13-399289-2", LCCN = "QA76.6 .K64 2005 Suppl. 1", bibdate = "Wed Feb 4 10:19:23 MST 2015", - bibsource = "http://www.math.utah.edu/pub/tex/bib/fparith.bib; - http://www.math.utah.edu/pub/tex/bib/hash.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/master.bib; - http://www.math.utah.edu/pub/tex/bib/prng.bib; - http://www.math.utah.edu/pub/tex/bib/string-matching.bib; + bibsource = "https://www.math.utah.edu/pub/tex/bib/fparith.bib; + https://www.math.utah.edu/pub/tex/bib/hash.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/master.bib; + https://www.math.utah.edu/pub/tex/bib/prng.bib; + https://www.math.utah.edu/pub/tex/bib/string-matching.bib; z3950.loc.gov:7090/Voyager", URL = "http://mmix.cs.hm.edu/", abstract = "In the first edition of Volume 1 of The Art of @@ -8083,7 +8101,7 @@ howpublished = "Web site", year = "2017", bibdate = "Fri Mar 10 14:22:41 2017", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "Skribilo is a free document production tool that takes a structured document representation as its input and renders that document in a variety of output formats: @@ -8123,8 +8141,8 @@ ISSN = "2475-9066", ISSN-L = "2475-9066", bibdate = "Thu Sep 13 08:09:35 MDT 2018", - bibsource = "http://www.math.utah.edu/pub/tex/bib/joss.bib; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/joss.bib; + https://www.math.utah.edu/pub/tex/bib/litprog.bib", URL = "http://joss.theoj.org/papers/10.21105/joss.00204", acknowledgement = ack-nhfb, fjournal = "Journal of Open Source Software", @@ -8147,7 +8165,7 @@ LCCN = "LC149.5", bibdate = "Tue Sep 25 07:58:54 MDT 2018", bibsource = "fsz3950.oclc.org:210/WorldCat; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", series = "Software studies", abstract = "The message from educators, the tech community, and even politicians is clear: everyone should learn to @@ -8207,8 +8225,8 @@ year = "2021", ISSN = "0896-3207", bibdate = "Thu Apr 08 07:49:24 2021", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/tugboat.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/tugboat.bib", URL = "https://tug.org/TUGboat/tb42-1/tb130knuth-tuneup21.pdf", acknowledgement = ack-nhfb, journal-URL = "https://tug.org/TUGboat/", @@ -8235,7 +8253,7 @@ ISBN-13 = "978-3-540-51084-0", LCCN = "QA76.95 .I571 1988", bibdate = "Thu Sep 26 06:21:35 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "Conference held jointly with AAECC-6.", series = ser-LNCS, abstract = "The following topics were dealt with: differential @@ -8269,7 +8287,7 @@ pages = "x + 449 + xii + 575 + xii + 673 + xi + 515", year = "1990", bibdate = "Sat Sep 7 17:48:58 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "4 vol.", acknowledgement = ack-nhfb, confdate = "2--5 Jan. 1990", @@ -8294,8 +8312,8 @@ ISSN = "0302-9743 (print), 1611-3349 (electronic)", LCCN = "QA76.6 .M4543 1991, QA267.A1 L43 no.544", bibdate = "Wed Aug 31 00:52:14 MDT 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; - http://www.math.utah.edu/pub/tex/bib/string-matching.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; + https://www.math.utah.edu/pub/tex/bib/string-matching.bib", URL = "http://link.springer-ny.com/link/service/series/0558/tocs/t0544.htm; http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=544", abstract = "The following topics were dealt with: meta-models for @@ -8361,7 +8379,7 @@ ISBN-13 = "978-0-86396-172-4", LCCN = "????", bibdate = "Fri Feb 27 18:32:40 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", series = "Computational Techniques and Applications 1991", acknowledgement = ack-nhfb, sponsor = "Australian Mathematical Society; Applied Mathematics @@ -8382,7 +8400,7 @@ ISBN-13 = "978-0-89871-313-8", LCCN = "QA76.9.A43 A34 1993", bibdate = "Wed Aug 17 23:51:38 1994", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, annote = "4th: 1993: Austin, TX.", } @@ -8401,7 +8419,7 @@ ISBN-13 = "978-3-540-19818-5", LCCN = "QA76.73.Z2 Z2 1992", bibdate = "Sat Sep 7 17:48:58 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, confdate = "14--15 Dec. 1992", conflocation = "London, UK", @@ -8421,7 +8439,7 @@ year = "1993", ISSN = "0908-1216", bibdate = "Wed Apr 3 16:24:12 MST 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", series = "University of Aalborg Department of Mathematics and Computer Science --- Reports --- R 1993", acknowledgement = ack-nhfb, @@ -8443,7 +8461,7 @@ ISBN-13 = "978-0-89791-636-3", LCCN = "QA76.7 .A15 1994", bibdate = "Sat Sep 7 07:51:54 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", abstract = "The following topics were dealt with: programming language principles; OOP; type theory; program correctness; lambda calculus; garbage collection; logic @@ -8477,7 +8495,7 @@ pages = "xxiv + 386", year = "1994", bibdate = "Sat Sep 7 17:48:58 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, confdate = "31 Oct.--3 Nov. 1994", conflocation = "Toronto, Ont., Canada", @@ -8500,7 +8518,7 @@ ISBN-13 = "978-0-8186-5647-7", LCCN = "QA76.751 .I38 1994", bibdate = "Sat Sep 7 17:48:58 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "IEEE Catalog No. 94TH06767.", acknowledgement = ack-nhfb, confdate = "14--15 Nov. 1994", @@ -8527,7 +8545,7 @@ ISSN = "0097-8418 (print), 2331-3927 (electronic)", LCCN = "QA76.A1 A1125 v.26:1", bibdate = "Wed Apr 3 16:24:12 MST 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", series = "SIGCSE Bulletin", acknowledgement = ack-nhfb, sponsor = "Association for Computing Machinery; Special Interest @@ -8547,7 +8565,7 @@ pages = "xiii + 825", year = "1995", bibdate = "Sat Sep 7 17:48:58 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, confdate = "17--21 June 1995", conflocation = "Graz, Austria", @@ -8569,7 +8587,7 @@ ISBN-13 = "978-0-8186-5870-9", LCCN = "QA76.758 .S6447 1994", bibdate = "Sat Sep 7 17:48:58 MDT 1996", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, confdate = "22--25 Nov. 1994", conflocation = "Dunedin, New Zealand", @@ -8595,7 +8613,7 @@ ISSN = "0170-8120", LCCN = "????", bibdate = "Fri Feb 27 18:29:50 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", series = "GMD-Studien", acknowledgement = ack-nhfb, searchkey = "su:literate programming", @@ -8619,7 +8637,7 @@ ISBN-13 = "978-0-7803-3390-1", LCCN = "QA 76.76 R44 C668 1996", bibdate = "Fri Feb 27 18:25:23 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "IEEE Catalog No. 96CH35960.", acknowledgement = ack-nhfb, confdate = "17--21 June 1996", @@ -8650,7 +8668,7 @@ ISBN-13 = "978-0-262-63173-0", LCCN = "QA76.63 L831 1996", bibdate = "Fri Feb 27 15:48:07 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, searchkey = "su:literate programming", sponsor = "Association for Logic Programming.", @@ -8672,7 +8690,7 @@ ISBN-13 = "978-0-89791-845-9", LCCN = "????", bibdate = "Tue Mar 03 09:07:22 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "ACM Order no. 457963.", acknowledgement = ack-lw, } @@ -8694,7 +8712,7 @@ ISBN-13 = "978-1-899796-02-1 (??invalid ISBN??)", LCCN = "QA76.76.Q35 S64 1996", bibdate = "Fri Feb 27 15:48:07 MST 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, searchkey = "su:literate programming", sponsor = "University of Abertay Dundee. University of @@ -8718,7 +8736,7 @@ ISSN = "1085-9098", LCCN = "QA76.76.R47 I587 1996", bibdate = "Tue Mar 03 13:36:47 1998", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib", + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib", note = "IEEE order plan catalog number 96TH100015.", acknowledgement = ack-nhfb, } @@ -8736,7 +8754,7 @@ year = "1997", bibdate = "Wed Aug 13 10:48:45 MDT 1997", bibsource = "ftp://ftp.uu.net/library/bibliography; - http://www.math.utah.edu/pub/tex/bib/litprog.bib", + https://www.math.utah.edu/pub/tex/bib/litprog.bib", acknowledgement = ack-nhfb, location = "Boston, MA", } @@ -8760,7 +8778,7 @@ ISBN-13 = "978-3-540-22137-1 (paperback)", LCCN = "QA76.76.D47 X62 2004", bibdate = "Mon Jul 5 13:30:42 MDT 2010", - bibsource = "http://www.math.utah.edu/pub/tex/bib/litprog.bib; + bibsource = "https://www.math.utah.edu/pub/tex/bib/litprog.bib; library.ox.ac.uk:210/ADVANCE", series = "Lecture notes in computer science", URL = "http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3092", diff --git a/info/biblio/litprog.ltx b/info/biblio/litprog.ltx index 9df88c2a79..0dbdf90374 100644 --- a/info/biblio/litprog.ltx +++ b/info/biblio/litprog.ltx @@ -5,9 +5,9 @@ %%% ==================================================================== %%% @LaTeX-file{ %%% author = "Nelson H. F. Beebe", -%%% version = "3.37", -%%% date = "08 April 2021", -%%% time = "08:46:59 MDT", +%%% version = "3.38", +%%% date = "06 January 2024", +%%% time = "18:59:46 MST", %%% filename = "litprog.ltx", %%% address = "University of Utah %%% Department of Mathematics, 110 LCB @@ -16,8 +16,8 @@ %%% USA", %%% telephone = "+1 801 581 5254", %%% FAX = "+1 801 581 4148", -%%% URL = "http://www.math.utah.edu/~beebe", -%%% checksum = "28460 87 321 3204", +%%% URL = "https://www.math.utah.edu/~beebe", +%%% checksum = "37878 87 321 3210", %%% email = "beebe@math.utah.edu, beebe@acm.org, %%% beebe@computer.org (Internet)", %%% codetable = "ISO/ASCII", @@ -58,11 +58,11 @@ E-mail: \protect\path=beebe@math.utah.edu=, \protect\path=beebe@acm.org=, \protect\path=beebe@computer.org= (Internet)\\ - WWW URL: \protect\path=http://www.math.utah.edu/~beebe/= + WWW URL: \protect\path=https://www.math.utah.edu/~beebe/= } -\date{08 April 2021 \\ -Version 3.37} +\date{06 January 2024 \\ +Version 3.38} \begin{document} \nocite{*} diff --git a/info/docsurvey/README.txt b/info/docsurvey/README.txt index 4dcf8aa1a6..e7b3a8824a 100644 --- a/info/docsurvey/README.txt +++ b/info/docsurvey/README.txt @@ -4,8 +4,8 @@ The LaTeX docsurvey package Provides the document "Programming LaTeX — A survey of documentation and packages" -2021/12/30 -Copyright 2017-2021 Brian Dunn — www.BDTechConcepts.com +2024/01/07 +Copyright 2017–2024 Brian Dunn — https://github.com/bdtc/docsurvey LaTeX Project Public License, version 1.3 diff --git a/info/docsurvey/docsurvey.pdf b/info/docsurvey/docsurvey.pdf Binary files differindex 606e11f5b1..ed554735be 100644 --- a/info/docsurvey/docsurvey.pdf +++ b/info/docsurvey/docsurvey.pdf diff --git a/info/docsurvey/docsurvey.tex b/info/docsurvey/docsurvey.tex index 67dccf3dfd..c545de61a8 100644 --- a/info/docsurvey/docsurvey.tex +++ b/info/docsurvey/docsurvey.tex @@ -68,18 +68,17 @@ annotation={More examples.}, } -@book{mittelbachgossens:companion, - title={The \LaTeX\ Companion}, - author={Frank Mittelbach and Michel Goossens and Johannes Braams - and David Carlisle and Chris Rowley}, - edition=2, +@book{mittelbachfischer:companion, + title={The \LaTeX\ Companion, 3rd Edition}, + author={Frank Mittelbach and Ulrike Fischer}, + edition=3, publisher={Addison-Wesley}, - year=2004, - pagetotal=1090, - isbn={0-201-36299-6}, - url={http://www.informit.com/store/latex-companion-9780133387667}, + year=2023, + pagetotal=1980, + isbn={978-0-13-816657-1}, + url={https://www.informit.com/store/latex-companion-parts-i-ii-3rd-edition-9780138166571}, annotation={Provides extended discussion and examples of the inner workings - of \LaTeX\ and numerous useful packages.}, + of \LaTeX\ and hundreds of useful packages.}, } @book{voss:typesettingmath, @@ -126,6 +125,15 @@ }, } +@manual{olsak:nutshell, + title={\TeX\ in a Nutshell}, + author={Petr Olšák}, + year=2023, + pagetotal=31, + url={https://ctan.org/pkg/tex-nutshell}, + annotation={The basics of plain \TeX. \texdoc{tex-nutshell}}, +} + @book{abrahams:impatient, title={\TeX\ for the Impatient}, author={Paul W. Abrahams and Kathryn A. Hargreaves and Karl Berry}, @@ -314,14 +322,27 @@ }, } -@manual{morris:gettingstarted, - title={Getting Started with \LaTeXe}, +@manual{lounsbury:undergrad, + title={\LaTeX\ for Undergraduates}, + author={Andrew Lounsbury}, + year=2022, + pagetotal=18, + url={https://ctan.org/pkg/latex-for-undergraduates}, + annotation={A minimalist introduction for undergraduate students, + including setup and editors. + Be sure to locate and open the source file \filenm{LaTeX\_for\_Undergraduates.tex} + \texdoc{latex-for-undergraduates} + }, +} + +@manual{morris:yetanotherguide, + title={Yet Another Guide to \LaTeX\ 2ε}, author={Michael P. Morris}, - year=2020, - pagetotal=33, - url={https://ctan.org/pkg/startlatex2e}, - annotation={A beginner's bare-bones overview. - \texdoc{startlatex2e} + year=2023, + pagetotal=72, + url={https://ctan.org/pkg/yet-another-guide-latex2e}, + annotation={Guide for users of Windows and TeXLive. + \texdoc{yet-another-guide-latex2e} }, } @@ -1673,7 +1694,7 @@ annotation,abstract,library,file} \usepackage{graphicx} -\usepackage{metalogox} +\usepackage[utopia]{metalogox} \usepackage{needspace} @@ -1706,19 +1727,20 @@ annotation,abstract,library,file} \addtocategory{printedbooks}{lamport:latex, hokpkadaly:guide, gratzer:moremath, voss:typesettingmath, voss:typesettingtables, voss:pstricks, kottwitz:beginner, kottwitz:cookbook, - mittelbachgossens:companion, TeX:FAQ, tug:books, voss:presentations} + mittelbachfischer:companion, TeX:FAQ, tug:books, voss:presentations} \DeclareBibliographyCategory{TeX} -\addtocategory{TeX}{eijkhout:topic, abrahams:impatient, texwikibook, doob:gentle, +\addtocategory{TeX}{eijkhout:topic, olsak:nutshell, + abrahams:impatient, texwikibook, doob:gentle, wilkins:started} \DeclareBibliographyCategory{LaTeX} \addtocategory{LaTeX}{hefferon:first, flynn:veryshort, flynn:formatting, - talbot:novices, talbot:phd, morris:gettingstarted, Bennieston:scientific, + talbot:novices, talbot:phd, morris:yetanotherguide, Bennieston:scientific, oetiker:introduction, greenwade:reference, latexwikibook, latex:authors, latex:usrguide3, lamport:latex, hokpkadaly:guide, kottwitz:beginner, kottwitz:cookbook, - mittelbachgossens:companion + mittelbachfischer:companion, lounsbury:undergrad, } \DeclareBibliographyCategory{LuaLaTeX} @@ -2243,8 +2265,8 @@ Keywords={LaTeX, programming, documentation, BD Tech Concepts LLC}% \title{Programming \LaTeX\Dash \\ A survey of documentation and packages} \author{Brian Dunn \\ - \small \href{mailto:bd@BDTechConcepts.com}{bd@BDTechConcepts.com} \\ - \small Copyright 2017--2021 Brian Dunn\thanks{ + \small Github: \url{https://github.com/bdtc/docsurvey} \\ + \small Copyright 2017--2024 Brian Dunn\thanks{ This work may be distributed and/or modified under the conditions of the \LaTeX\ Project Public License, either version 1.3 of this license or (at your option) any later version. @@ -3053,6 +3075,8 @@ Documentation for those interested in creating their own package or class: A traditional forum with quick replies to your questions \url{http://www.latex-community.org} + \item[TopAnswers TeX:] Large collection of questions and answers. + \url{https://topanswers.xyz/tex} \end{description} \item[German forums:] \ @@ -3071,6 +3095,7 @@ Documentation for those interested in creating their own package or class: \url{http://tug.org/mailman/listinfo} \item[Newsgroup:] \url{comp.text.tex} + \end{description} @@ -3087,7 +3112,8 @@ Documentation for those interested in creating their own package or class: \item[TeXLive:] \url{http://tug.org/texlive} \hfill Unix and Windows \item[MiKTex:] \url{https://miktex.org} \hfill Windows and Mac \item[proTeXt:] \url{http://tug.org/protext/} \hfill Windows -\item[MacTex:] \url{http://tug.org/mactex/} \hfill Mac +\item[MacTeX:] \url{http://tug.org/mactex/} \hfill Mac +\item[BasicTeX:] \url{https://www.tug.org/mactex/morepackages.html} \hfill Mac (simplified) \end{description} @@ -3123,6 +3149,11 @@ Documentation for those interested in creating their own package or class: \item[2021/12/30:] Added \pkg{usrguide3}, \url{learnlatex.org}, \href{https://www.alanshawn.com/latex3-tutorial/}{latex3-tutorial}, many international resources. +\item[2024/01/06:] Updated \citetitle{mittelbachfischer:companion}. + Replaced Morris's \pub{Gettings Started with \LaTeXe} with + \citetitle{morris:yetanotherguide}. + Added \citetitle{lounsbury:undergrad}, \citetitle{olsak:nutshell}, + TopAnswers TeX, Basic TeX. \end{description} |