The CWEB System of Structured Documentation
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Donald Knuth Fletcher Jones Professor of Computer Science, Emeritus Curriculum Vitae Available Online
Donald Knuth Fletcher Jones Professor of Computer Science, Emeritus Curriculum Vitae available Online Bio BIO Donald Ervin Knuth is an American computer scientist, mathematician, and Professor Emeritus at Stanford University. He is the author of the multi-volume work The Art of Computer Programming and has been called the "father" of the analysis of algorithms. He contributed to the development of the rigorous analysis of the computational complexity of algorithms and systematized formal mathematical techniques for it. In the process he also popularized the asymptotic notation. In addition to fundamental contributions in several branches of theoretical computer science, Knuth is the creator of the TeX computer typesetting system, the related METAFONT font definition language and rendering system, and the Computer Modern family of typefaces. As a writer and scholar,[4] Knuth created the WEB and CWEB computer programming systems designed to encourage and facilitate literate programming, and designed the MIX/MMIX instruction set architectures. As a member of the academic and scientific community, Knuth is strongly opposed to the policy of granting software patents. He has expressed his disagreement directly to the patent offices of the United States and Europe. (via Wikipedia) ACADEMIC APPOINTMENTS • Professor Emeritus, Computer Science HONORS AND AWARDS • Grace Murray Hopper Award, ACM (1971) • Member, American Academy of Arts and Sciences (1973) • Turing Award, ACM (1974) • Lester R Ford Award, Mathematical Association of America (1975) • Member, National Academy of Sciences (1975) 5 OF 44 PROFESSIONAL EDUCATION • PhD, California Institute of Technology , Mathematics (1963) PATENTS • Donald Knuth, Stephen N Schiller. "United States Patent 5,305,118 Methods of controlling dot size in digital half toning with multi-cell threshold arrays", Adobe Systems, Apr 19, 1994 • Donald Knuth, LeRoy R Guck, Lawrence G Hanson. -
Knuthweb.Pdf
Literate Programming Donald E. Knuth Computer Science Department, Stanford University, Stanford, CA 94305, USA The author and his associates have been experimenting for the past several years with a program- ming language and documentation system called WEB. This paper presents WEB by example, and discusses why the new system appears to be an improvement over previous ones. I would ordinarily have assigned to student research A. INTRODUCTION assistants; and why? Because it seems to me that at last I’m able to write programs as they should be written. The past ten years have witnessed substantial improve- My programs are not only explained better than ever ments in programming methodology. This advance, before; they also are better programs, because the new carried out under the banner of “structured program- methodology encourages me to do a better job. For ming,” has led to programs that are more reliable and these reasons I am compelled to write this paper, in easier to comprehend; yet the results are not entirely hopes that my experiences will prove to be relevant to satisfactory. My purpose in the present paper is to others. propose another motto that may be appropriate for the I must confess that there may also be a bit of mal- next decade, as we attempt to make further progress ice in my choice of a title. During the 1970s I was in the state of the art. I believe that the time is ripe coerced like everybody else into adopting the ideas of for significantly better documentation of programs, and structured programming, because I couldn’t bear to be that we can best achieve this by considering programs found guilty of writing unstructured programs. -
Typeset MMIX Programs with TEX Udo Wermuth Abstract a TEX Macro
TUGboat, Volume 35 (2014), No. 3 297 Typeset MMIX programs with TEX Example: In section 9 the lines \See also sec- tion 10." and \This code is used in section 24." are given. Udo Wermuth No such line appears in section 10 as it only ex- tends the replacement code of section 9. (Note that Abstract section 10 has in its headline the number 9.) In section 24 the reference to section 9 stands for all of ATEX macro package is presented as a literate pro- the eight code lines stated in sections 9 and 10. gram. It can be included in programs written in the If a section is not used in any other section then languages MMIX or MMIXAL without affecting the it is a root and during the extraction of the code a assembler. Such an instrumented file can be pro- file is created that has the name of the root. This file cessed by TEX to get nicely formatted output. Only collects all the code in the sequence of the referenced a new first line and a new last line must be entered. sections from the code part. The collection process And for each end-of-line comment a flag is set to for all root sections is called tangle. A second pro- indicate that the comment is written in TEX. cess is called weave. It outputs the documentation and the code parts as a TEX document. How to read the following program Example: The following program has only one The text that starts in the next chapter is a literate root that is defined in section 4 with the headline program [2, 1] written in a style similar to noweb [7]. -
Miktex Manual Revision 2.0 (Miktex 2.0) December 2000
MiKTEX Manual Revision 2.0 (MiKTEX 2.0) December 2000 Christian Schenk <[email protected]> Copyright c 2000 Christian Schenk Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this permission notice are preserved on all copies. Permission is granted to copy and distribute modified versions of this manual under the con- ditions for verbatim copying, provided that the entire resulting derived work is distributed under the terms of a permission notice identical to this one. Permission is granted to copy and distribute translations of this manual into another lan- guage, under the above conditions for modified versions, except that this permission notice may be stated in a translation approved by the Free Software Foundation. Chapter 1: What is MiKTEX? 1 1 What is MiKTEX? 1.1 MiKTEX Features MiKTEX is a TEX distribution for Windows (95/98/NT/2000). Its main features include: • Native Windows implementation with support for long file names. • On-the-fly generation of missing fonts. • TDS (TEX directory structure) compliant. • Open Source. • Advanced TEX compiler features: -TEX can insert source file information (aka source specials) into the DVI file. This feature improves Editor/Previewer interaction. -TEX is able to read compressed (gzipped) input files. - The input encoding can be changed via TCX tables. • Previewer features: - Supports graphics (PostScript, BMP, WMF, TPIC, . .) - Supports colored text (through color specials) - Supports PostScript fonts - Supports TrueType fonts - Understands HyperTEX(html:) specials - Understands source (src:) specials - Customizable magnifying glasses • MiKTEX is network friendly: - integrates into a heterogeneous TEX environment - supports UNC file names - supports multiple TEXMF directory trees - uses a file name database for efficient file access - Setup Wizard can be run unattended The MiKTEX distribution consists of the following components: • TEX: The traditional TEX compiler. -
Math Symbol Tables
APPENDIX A I Math symbol tables A.I Hebrew letters Type: Print: Type: Print: \aleph ~ \beth :J \daleth l \gimel J All symbols but \aleph need the amssymb package. 346 Appendix A A.2 Greek characters Type: Print: Type: Print: Type: Print: \alpha a \beta f3 \gamma 'Y \digamma F \delta b \epsilon E \varepsilon E \zeta ( \eta 'f/ \theta () \vartheta {) \iota ~ \kappa ,.. \varkappa x \lambda ,\ \mu /-l \nu v \xi ~ \pi 7r \varpi tv \rho p \varrho (} \sigma (J \varsigma <; \tau T \upsilon v \phi ¢ \varphi 'P \chi X \psi 'ljJ \omega w \digamma and \ varkappa require the amssymb package. Type: Print: Type: Print: \Gamma r \varGamma r \Delta L\ \varDelta L.\ \Theta e \varTheta e \Lambda A \varLambda A \Xi ~ \varXi ~ \Pi II \varPi II \Sigma 2: \varSigma E \Upsilon T \varUpsilon Y \Phi <I> \varPhi t[> \Psi III \varPsi 1ft \Omega n \varOmega D All symbols whose name begins with var need the amsmath package. Math symbol tables 347 A.3 Y1EX binary relations Type: Print: Type: Print: \in E \ni \leq < \geq >'" \11 « \gg \prec \succ \preceq \succeq \sim \cong \simeq \approx \equiv \doteq \subset c \supset \subseteq c \supseteq \sqsubseteq c \sqsupseteq \smile \frown \perp 1- \models F \mid I \parallel II \vdash f- \dashv -1 \propto <X \asymp \bowtie [Xl \sqsubset \sqsupset \Join The latter three symbols need the latexsym package. 348 Appendix A A.4 AMS binary relations Type: Print: Type: Print: \leqs1ant :::::; \geqs1ant ): \eqs1ant1ess :< \eqs1antgtr :::> \lesssim < \gtrsim > '" '" < > \lessapprox ~ \gtrapprox \approxeq ~ \lessdot <:: \gtrdot Y \111 «< \ggg »> \lessgtr S \gtr1ess Z < >- \lesseqgtr > \gtreq1ess < > < \gtreqq1ess \lesseqqgtr > < ~ \doteqdot --;- \eqcirc = .2.. -
Programming Technologies for the Development of Web-Based Platform for Digital Psychological Tools
(IJACSA) International Journal of Advanced Computer Science and Applications, Vol. 9, No. 8, 2018 Programming Technologies for the Development of Web-Based Platform for Digital Psychological Tools Evgeny Nikulchev1, Dmitry Ilin2 Pavel Kolyasnikov3 Ilya Zakharov5, Sergey Malykh6 4 MIREA – Russian Technological Vladimir Belov Psychological Institute of Russian University & Russian Academy Russian Academy Science Academy of Education Science, Moscow, Russia Moscow, Russia Moscow, Russia Abstract—The choice of the tools and programming In addition, large accumulated data sets can become the technologies for information systems creation is relevant. For basis for machine learning mechanisms and other approaches every projected system, it is necessary to define a number of using artificial intelligence. Accumulation of data from criteria for development environment, used libraries and population studies into a single system can allow a technologies. The paper describes the choice of technological breakthrough in the development of systems for automated solutions using the example of the developed web-based platform intellectual analysis of behavior data. of the Russian Academy of Education. This platform is used to provide information support for the activities of psychologists in The issue of selecting methodological tools for online and their research (including population and longitudinal offline research includes several items. researches). There are following system features: large scale and significant amount of developing time that needs implementation First, any selection presupposes the existence of generally and ensuring the guaranteed computing reliability of a wide well-defined criteria, on the basis of which a decision can be range of digital tools used in psychological research; ensuring made to include or not to include techniques in the final functioning in different environments when conducting mass toolkit. -
The Textgreek Package∗
The textgreek package∗ Leonard Michlmayr leonard.michlmayr at gmail.com 2011/10/09 Abstract The LATEX package textgreek provides NFSS text symbols for Greek letters. This way the author can use Greek letters in text without changing to math mode. The usual font selection commands|e.g. \textbf|apply to these Greek letters as to usual text and the font is upright in an upright environment. Further, hyperref can use these symbols in PDF-strings such as PDF-bookmarks. Contents 1 Introduction2 2 Usage2 2.1 Package Options............................2 2.2 Advanced commands..........................3 3 Examples3 3.1 Use \b-decay" in a heading......................3 4 Compatibility4 5 Limitations4 6 Copyright4 7 Implementation4 7.1 Package Options............................4 7.2 Font selection..............................5 7.3 Greek letter definitions.........................7 7.3.1 Utility macro..........................7 7.3.2 List of Greek letters......................7 7.3.3 Variants.............................9 8 Change History 10 9 Index 11 ∗This document corresponds to textgreek v0.7, dated 2011/10/09. 1 1 Introduction The usual way to print Greek letters in LATEX uses the math mode. E.g. $\beta$ produces β. With the default math fonts, the Greek letters produced this way are italic. Generally, this is ok, since they represent variables and variables are typeset italic with the default math font settings. In some circumstances, however, Greek letters don't represent variables and should be typeset upright. E.g. in \b-decay" or \mA". The package upgreek provides commands to set upright Greek letters in math mode, but it does not provide text symbols. -
A Directory Structure for TEX Files TUG Working Group on a TEX Directory Structure (TWG-TDS) Version 1.1 June 23, 2004
A Directory Structure for TEX Files TUG Working Group on a TEX Directory Structure (TWG-TDS) version 1.1 June 23, 2004 Copyright c 1994, 1995, 1996, 1997, 1998, 1999, 2003, 2004 TEX Users Group. Permission to use, copy, and distribute this document without modification for any purpose and without fee is hereby granted, provided that this notice appears in all copies. It is provided “as is” without expressed or implied warranty. Permission is granted to copy and distribute modified versions of this document under the condi- tions for verbatim copying, provided that the modifications are clearly marked and the document is not represented as the official one. This document is available on any CTAN host (see Appendix D). Please send questions or suggestions by email to [email protected]. We welcome all comments. This is version 1.1. Contents 1 Introduction 2 1.1 History . 2 1.2 The role of the TDS ................................... 2 1.3 Conventions . 3 2 General 3 2.1 Subdirectory searching . 3 2.2 Rooting the tree . 4 2.3 Local additions . 4 2.4 Duplicate filenames . 5 3 Top-level directories 5 3.1 Macros . 6 3.2 Fonts............................................ 8 3.3 Non-font METAFONT files................................ 10 3.4 METAPOST ........................................ 10 3.5 BIBTEX .......................................... 11 3.6 Scripts . 11 3.7 Documentation . 12 4 Summary 13 4.1 Documentation tree summary . 14 A Unspecified pieces 15 A.1 Portable filenames . 15 B Implementation issues 16 B.1 Adoption of the TDS ................................... 16 B.2 More on subdirectory searching . 17 B.3 Example implementation-specific trees . -
The LATEX Web Companion
The LATEX Web Companion Integrating TEX, HTML, and XML Michel Goossens CERN Geneva, Switzerland Sebastian Rahtz Elsevier Science Ltd., Oxford, United Kingdom with Eitan M. Gurari, Ross Moore, and Robert S. Sutor Ä yv ADDISON—WESLEY Boston • San Francisco • New York • Toronto • Montreal London • Munich • Paris • Madrid Capetown • Sydney • Tokyo • Singapore • Mexico City Contents List of Figures xi List of Tables xv Preface xvii 1 The Web, its documents, and D-ItX 1 1.1 The Web, a window an die Internet 3 1.1.1 The Hypertext Transport Protocol 4 1.1.2 Universal Resource Locators and Identifiers 5 1.1.3 The Hypertext Markup Language 6 1.2 BTEX in die Web environment 11 1.2.1 Overview of document formats and strategies 12 1.2.2 Staying with DVI 14 1.2.3 PDF for typographic quality 15 1.2.4 Down-translation to HTML 16 1.2.5 Java and browser plug-ins 20 1.2.6 Other L4TEX-related approaches to the Web 21 1.3 Is there an optimal approach? 23 1.4 Conclusion 24 2 Portable Document Format 25 2.1 What is PDF? 26 2.2 Generating PDF from TEX 27 2.2.1 Creating and manipulating PDF 28 vi Contents 2.2.2 Setting up fonts 29 2.2.3 Adding value to your PDF 33 2.3 Rich PDF with I4TEX: The hyperref package 35 2.3.1 Implicit behavior of hyperref 36 2.3.2 Configuring hyperref 38 2.3.3 Additional user macros for hyperlinks 45 2.3.4 Acrobat-specific commands 47 2.3.5 Special support for other packages 49 2.3.6 Creating PDF and HTML forms 50 2.3.7 Designing PDF documents for the screen 59 2.3.8 Catalog of package options 62 2.4 Generating -
TEX Collection 2021
� https://tug.org/texcollection � AsTEX (French) CervanTEX (Spanish) proTEXt: an easy to install TEX system for MS Windows: based on MiKTEX, with the TEXstudio editor front-end. T X CSTUG (Czech/Slovak) Collection 2021 T X Live: a rich T X system to be installed on hard disk or a portable device E CT X (Chinese) E E E such as a USB stick. Comes with support for most modern systems, CyrTUG (Russian) including GNU/Linux, macOS, and Windows. DANTE (German) MacTEX: an easy to install TEX system for macOS: the full TEX Live DK-TUG (Danish) distribution, with the TEXShop front-end and other Mac tools. Estonian User Group CTAN: a snapshot of the Comprehensive TEX Archive Network, a set of 휀휙휏 (Greek) servers worldwide making TEX software publically available. DVD GuIT (Italian) GUST (Polish) proTEXt ist ein einfach zu installierendes TEX-System für MS Windows, basierend auf MiKTEX und TEXstudio als Editor. GUTenberg (French) TEX Live ist ein umfangreiches TEX-System zur Installation auf Festplatte GUTpt (Portuguese) oder einem portablen Medium, z. B. USB-Stick. Binaries für viele Platformen ÍsTEX (Icelandic) sind enthalten. ITALIC (Irish) MacTEX ist ein einfach zu installierendes TEX-System für macOS, mit einem DANTE KTUG (Korean) vollständigen TEX Live, sowie TEXShop als Editor und weiteren Programmen. www.dante.de CTAN ist ein weltweites Netzwerk von Servern für T X-Software. Auf der Lietuvos TEX’o Vartotojų E Grupė (Lithuanian) DVD befindet sich ein Abzug des deutschen CTAN-Knotens dante.ctan.org. MaTEX (Hungarian) O Nordic TEX Group gutenberg.eu.org proT Xt T X Live (Scandinavian) proTEXt : un système TEX pour Windows facile à installer, basé sur MikTEX E E avec l’éditeur T Xstudio. -
Xymjava System for World Wide Web Communication of Organic Chemical Structures
Journal of Computer Aided Chemistry, Vol.3, 37-47(2002) ISSN 1345-8647 37 XyMJava System for World Wide Web Communication of Organic Chemical Structures Nobuya Tanaka and Shinsaku Fujita* Department of Chemistry and Materials Technology, Kyoto Institute of Technology, Matsugasaki, Sakyoku, Kyoto 606-8585 Japan (Received January 7, 2002; Accepted February 15, 2002) The XyMJava system for drawing chemical structural formulas has been developed by using the Java language in order to enhance World Wide Web communication of chemical information, where the XyM notation system proposed previously has been adopted as a language for inputting structural data. The object—oriented technique, especially the design-pattern approach, is applied to parse a XyM notation in the XyMJava system. A chemical model is introduced to encapsulate information on chemical structural formulas and used to draw the formula on a CRT display. Thereby, an HTML document containing a XyM notation can be browsed by the XyMApplet of the XyM Java system. Key Words: XyM Notation, Java, Structural Formula, WWW journals and books. For example, the IUPAC nomenclature,1, 2 the CAS nomenclature,3 and the HIRN 4, 5 Introduction nomenclature are representative as such traditional communication systems. The exponential increase of information on chemical From the early stage in the history of organic compounds during the two decades before 1980 had chemistry, information on chemical structures has been revealed the importance of chemical database, which in communicated and stored by means of systematic turn stimulated the progress of computer-manipulation of diagrams, i.e. chemical structural formulas. They have chemical structural formulas. -
Programming LATEX— a Survey of Documentation and Packages
Programming LATEX— A survey of documentation and packages Brian Dunn [email protected] Copyright 2017 Brian Dunn* October 4, 2017 Abstract A survey of programming-related documentation for LATEX. Included are references to printed and electronic books and manuals, symbol lists, faqs, the LATEX source code, CTAN and distributions, programming-related packages, users groups and online communities, and information on creating packages and documentation. Contents Introduction 2 Printed books 2 Electronic books and documentation 2 TEX...................................................2 LATEX..................................................3 LuaLATEX................................................3 X LE ATEX.................................................3 Symbol references . .3 Source code . .3 FAQs..................................................4 Accessing embedded documentation 4 Obtaining packages — Comprehensive TEX Archive Network (CTAN) 4 Packages useful for programming LATEX 5 Creating and documenting new packages 5 How-to ................................................5 Published articles about creating LATEX packages . .5 Users groups 6 Online communities 6 Distributions — LATEX for various operating systems 6 Change log 6 References 6 * 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. The latest version of this license is in http://www.latex-project.org/lppl.txt and version 1.3 or later is part of all distributions of LATEX version 2005/12/01 or later. Programming LATEX — A survey of documentation and packages 2 Introduction Reinventing the wheel may be useful if you think that you can do it better. Worse, though, is not even being aware that the wheel has already been invented in the first place, which can be an embarrassing waste of time.