Knuth, D., Computers and Typesetting, Addison Wesley, 1994.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....enter your name: fflush(stdout) Figure 2.2: A literate programming example The first literate programming tool was WEB[2] It documented Pascal programs using the T E X mark up language. Knuth used the WEB system to create several programs, most notably METAFONT[3] and T E X[4]. The WEB system consisted of two tools, one to extract the code, which was called tangle and one to extract the documentation, called weave. The operation of these two tools is shown in Figure 2.1. Since WEB was created there have been many other literate programming tools developed, most based ....

....system WEB was reasonably successful in both establishing the literate programming paradigm and in some real programming projects. Several examples of WEB programs have been published by Knuth and others[7, 8, 9, 10] and the WEB sources for T E XandMETAFONThave been published as books[4, 3]. WEB was created to work exclusively with Pascal and T E X but it was always intended that related tools would be developed for other languages. Many of the features of WEB were created in part to assist the Pascal compiler in the same way that the C preprocessor assists a C compiler. For ....

Donald E. Knuth. T E X: The Program, volume B of Computers and Typesetting. Addison-Wesley, Reading, MA, USA, 1986.

....to what we propose here. A stronger and richer analogy to our active document processing is the T E X typesetting and document preparation system, where a single source file contains a mixture of text and control functions that specify how that document should be formatted and the text rendered [15]. None of these systems, however, encompass the tasks of distribution and workflow more generally. 2.3 The roles of humans Humans are essential components of any workflow system, of course, and we must clarify their responsibilities during design and use of our enhanced systems. An expert ....

Donald E. Knuth. T E X: The Program, Computers and Typesetting. AddisonWesley, Reading, MA, 1986.

....are that students will learn the value of the documentation when writing about their own programs. Program textbooks typically include small toy programs. With the advent of Literate Programming it has been demonstrated that large and real programs can be published in textbooks of their own [9] on the ground of academic interests in the source programs. We have recommended use of elucidative versions of real programs in future teaching materials [16] Overall, we are convinced that there is more to learn from a single real program than from a number of small toy programs. With Literate ....

D. E. Knuth. Tex: The Program. Computers and Typesetting. Addison Wesley, 1986.

.... the definition of style sheets independent from the syntactic details of the target presentation format cannot be applied to multimedia. 2. 2 Multimedia document formatting is not based on text flow For text, we have an established set of (complicated but) well understood algorithms [19] that can be used to automatically typeset a text according to the requirements of a given layout specification. To keep the style sheet itself as declarative as possible, the components implementing these relatively low level and detailed algorithms are typically part of the style engine s ....

D. E. Knuth. TeX: The Program, volume B of Computers and Typesetting. Addison-Wesley Publishing Company, 1986.

..... 102 C.1 A skeleton of a TDS texmf directory tree . 110 C.2 A skeleton of a TDS directory tree under texmf doc . 111 Chapter 1: General introduction to L A T E X at CERN T E X [11, 12] (pronounced Tekh) is a text processing system developed by Donald E. Knuth of Stanford University to compose by computer high quality documents, especially those containing many mathematical formulae. Its typographic quality is comparable to the finest works of the printing art. The T E X text ....

D.E. Knuth. Computers and Typesetting (Volumes A-E). Reading, 1986.

....indirect spatial positioning include CCS2 style sheets [6] and SMIL regions. More advanced methods can be used where relative spatial positioning is speci ed using hierarchies of regions. Examples of such methods include the use of channels in CMIF [30] nested vertical and horizontal boxes in TeX [22], and the widget hierarchies found in many GUI toolkits [23, 25] 2.4 Composition While the temporal or spatial structures mentioned above can be used for grouping and structuring the media items in a multimedia document, in practice it is often convenient to be able to group media items ....

Donald E. Knuth. TeX: The Program, volume B of Computers and Typesetting. Addison-Wesley Publishing Company, 1986.

....of finding all valid hyphenation points in all words of a given language has been tackled for decades. Most of the approaches used sofar are deterministic. A rule driven hyphenation algorithm for English was implemented in T E X78 (Liang 1981) The method was improved by Liang (Liang 1983, Knuth 1986) for use in T E X82. It is based on the generalisation of the prefix, suffix and vowelconsonant consonant vowel rules. The program PATGEN (Liang and Breitenlohner 1991) enables the process of pattern generation from a set of already hyphenated words to be automated. This algorithm or its ....

Knuth, D. E.: 1986, The T E Xbook, Vol. A of Computers and Typesetting, Addison-Wesley, Reading, MA, USA.

.... window speci ed by the values of counters leftdiscretionaryhyphenmin and rightdiscretionaryhyphenmin) are removed. This approach takes the advantage of the data structure used for storing the information about the hyphenation points. The patterns are stored using the trie data structure (see (Knuth, 1973) pp. 481 505) This data structure allows e ective pre x and post x compression. Because of that, the increase in the size of the patterns is negligible, as the patterns doublets share both pre x and post x parts in the trie. Also, the look up time in the trie is linear with respect to the word length of ....

Knuth, Donald E. T E X: The Program, volume B of Computers and Typesetting. Addison-Wesley, Reading, MA, USA, 1986a.

....possible improvements that might take place in a T E X successor( T E X or New Typesetting System (NT S) The hyphenation story Let s review the developments in hyphenation in T E X that have been made so far. English In T E X78 a rule driven algorithm for English was built in by Liang and Knuth. Their algorithm found 40 of the allowable hyphens, with about 1 error (Liang, 1981) Although authors claimed that these results are quite good , Liang continued working on the generalization of the idea of rules expressed by hyphenating and inhibiting patterns. In his dissertation (Liang, 1983) he describes a ....

Knuth, Donald E. T E X: The Program, volume B of Computers and Typesetting. Addison-Wesley, Reading, MA, USA, 1986a.

....support. People use T E X, roff and HTML because free implementations of these tools are widely available on a variety of platforms. T E X and HTML are well documented, and T E X and roff are stable. T E X is the most portable, it was also developed by Donald Knuth as a literate program [Knu86], thus it is not surprising that 3 the first literate programming tools used T E X as there typesetting engine. 3 Relating it to Forth To see how these ideas can be of use to Forth, we look at the benefits they bring to traditional languages and see how these may be transfered to Forth. Knuth ....

Donald E. Knuth. T E X The Program, volume B of Computers and Typesetting. Addison-Wesley, 1986.

....papers of Philipp [27] Mischyavichyus [25] Morita [26] The author has generalized the result to nonuniform densities [39] The HAKMEM memo [15] first described the comparison algorithm with continued fraction expansions. Later, the same algorithm has been used by Knuth in the Metafont system [18], and, more recently, Avnaim et al. 1] have proposed it for computing the sign of 2 Theta 2 determinants with integer entries. The comparison algorithm with continued fraction expansions has been previously studied in [40] Acknowledgements. Many thanks to Julien Cl ement, Philippe Flajolet, ....

Knuth, D.E. Volume D of Computers and Typesetting, MF: the program Addison Wesley, Reading, Massachussets, 1986.

....ideas behind literate programming are very important, and still among the best in trying to find solutions to the problem of internal program documentation. However, literate programming, as envisioned by Knuth, is primarily oriented towards publication of programs as technical literature (such as [14]) This is different from the needs of the practical software engineer, who has to document his or her program contributions for fellow and future team members. As a consequence, we recommend that the area is split into two branches: literate programming for the publishing of programs as technical ....

D. E. Knuth. Tex: The Program. Computers and Typesetting. Addison Wesley, 1986.

....computer based dynamic systems models to humans. It is a concept that is born out of Literate Programming first described by Donald Knuth in 1984 [3] and used by several people since (most notably by Knuth himself who used it to document and publish the source codes to T E X [4] and METAFONT [5]) It seems to me that literate programming is a nice way to describe computer systems and by extension, any codes which might be used with computer systems. Computer models of dynamic systems are obvious examples of the latter. The basic idea behind literate programming is that computer code is ....

Donald E. Knuth. METAFONT: The Program, volume D of Computers and Typesetting. Addison Wesley, 1986.

....a way of describing computer based dynamic systems models to humans. It is a concept that is born out of Literate Programming first described by Donald Knuth in 1984 [3] and used by several people since (most notably by Knuth himself who used it to document and publish the source codes to T E X [4] and METAFONT [5] It seems to me that literate programming is a nice way to describe computer systems and by extension, any codes which might be used with computer systems. Computer models of dynamic systems are obvious examples of the latter. The basic idea behind literate programming is that ....

Donald E. Knuth. T E X: The Program, volume B of Computers and Typesetting. Addison Wesley, 1986.

....Section 4 describes the implementation. A preliminary description of the language has already appeared [1] 2 Introduction to MetaPost MetaPost is a lot like Knuth s METAFONT except that it outputs PostScript programs instead of bitmaps. Knuth describes the METAFONT language in The METAFONTbook. [4] This document introduces MetaPost via examples and references to key parts of The METAFONTbook. It is a good idea to start by reading chapters 2 and 3 in The METAFONTbook. The introductory material in these chapters applies to MetaPost except that coordinates are in units of PostScript points by ....

....are drawunboxed and drawboxes macros that draw the pictures and the surrounding paths separately. 4 Implementation The MetaPost interpreter is written in Knuth s WEB language which can be thought of as PASCAL with macros. This choice allows the sharing of code with the METAFONT interpreter. [4] Indeed, about three fourths of the code in the main source file mp.web is copied from this source by permission from the author. In accordance with the standard methodology for WEB programs, parts of the program that are specific to the UNIX 7 system are given in a separate file mp.ch that the ....

D. E. Knuth. Computers and Typesetting, volume D. Addison Wesley, Reading, Massachusetts, 1986. 20

....describes the system and its implementation. It also includes basic user documentation to be used in conjunction with The METAFONTbook. Much of the source code was copied from the METAFONT sources by permission from the author. 1 Overview The MetaPost system is based on Knuth s METAFONT 1 [3] and much of the source code is copied with permission from the METAFONT sources. MetaPost is a graphics language like METAFONT, but with new primitives for integrating text and graphics and for accessing special features of PostScript 2 such as clipping, shading, and dashed lines. The language ....

D. E. Knuth. Computers and Typesetting, volume C. Addison Wesley, Reading, Massachusetts, 1986.

....i, and so on. Centuries ago, typeface creators had already classified many of these quantities and given them names. In Figure 2 we give the names we will use in our 150 YANNIS HARALAMBOUS examples of Bodoni characters. These are not necessarily traditional names, but are used by D. E. Knuth in [6] where he parametrizes the Computer Modern font family. Some parameters may take the same value in the original PostScript font (for example hair and vair,orcurve and stem) These will be differentiated when we start to produce variations of the font (in METAFONT jargon this operation is called ....

D. E. Knuth, Computer Modern Typefaces (Volume E of Computers and Typesetting), AddisonWesley, Reading, MA, 1986.

....since an explicit determination of control points is often hard (and useless, except in rare exceptions) Finally thecycle keywordmeans that the path should beclosed. Wewill not enter more into the details of METAFONT syntax; the interested reader will find excellent presentations of this in [4]and[5] The purpose of this section was to show to the reader how much information is involved in the description of each character, and how this information is converted from PostScript into raw METAFONT code. In the next sections we will see how to interpret, process and extrapolate this ....

D. E. Knuth, TheMETAFONTbook (Volume C of Computers and Typesetting), Addison-Wesley, Reading, MA, 1986.

....H. J URGENSEN Braille (the Nemeth Braille code is used as a standard in North America to represent mathematical and scientific notation) We mainly consider scientific texts with a special emphasis on mathematical textbooks and research papers. The typesetting system used as a paradigm is T E X[2]; however, we believe that this choice of a system does not affect the essence of the result of our investigation. In the course of this study we addressed the following items: ffl development of a Braille output driver; ffl development of a macro package to supersede the plain T E X macros; ....

....is very low, it can serve a very important purpose, as many simple graphics applications do not really require a higher resolution. A BRIEF INTRODUCTION TO T E X T E X is a language for setting type by computer. Its first version was designed about ten years ago; its revised and final version[2] has rapidly been accepted by the scientific community as well as by major publishers of mathematics and computer science books. Although T E X was designed with mainly mathematics typesetting in mind, it has meanwhile been shown to be quite adaptable to other typesetting tasks as reported at the ....

[Article contains additional citation context not shown here]

D. E. Knuth, Computers and Typesetting , Addison-Wesley Publishing Company, Reading, Massachusetts, 1986.

....T E X can play in an integrated document processing environment, and this r ole is exemplified by a case study from application at EDS. KEY WORDS T E XL A T E X SGML Computer services industry Structured document processing 1THEUSERSOFT E X In spite of its academic image, the use of T E X[1 6] has continually crept into other areas within the past few years. In its column of Sponsoring institutions , TUGboat, the official journal and newsletter of the T E X Users Group (TUG) regularly lists quite a number of large and well known companies. 1 Even if a company is not in the ....

Donald E. Knuth, Computers and Typesetting, Addison-Wesley, Reading, MA, 1986. Consists of [2,3,4,5,6].

....proof for their basic table layout problem. They also give a series of heuristic algorithms for table layout which give good results in practice. Earlier work on algorithms for setting tables was done by Beach[Bea85] There has been a substantial amount of algorithmic work on digital typography[KvW89, Knu84]. The work on paragraphing linebreaking is relevant to our work since one of the cases of interest is choosing the number of rows of text to fit into a cell [KP81] A main theme of our paper is that there is a strong connection between the table layout problem and graph algorithms, especially ....

....pairs (w; h) such that w is the minimum line width which requires a paragraph of height h. We consider the problem because it could be a bottleneck in generating tables, and because it is an interesting problem in its own right. The classical paragraphing problem (as introduced by Knuth and Plass [Knu84, KP81]) concerns identifying optimal line breaks in text where the goal is to minimize a penalty function for underfull and overfull lines [KP81, Ach81, Gos81] The optimal paragraphing problem can be solved by dynamic programming. The simplest way to solve the all widths paragraphing problem is to ....

D. E. Knuth. The TeXbook. Computers and Typesetting. Addison Wesley, 1984.

....discussed make different predictions. 15 There is a certain resemblance with Lexicalized TAG (LTAG) which is a combination of Joshi s TAG with Lexical Grammar. This issue is discussed in further detail in Klabbers et al. 1998) For the use of LTAG trees for generation see Stone Doran (1997) [12] erated is the second one of a text, and that the first sentence was The white chihuahua bites the cat, where the white chihuahua refers to d 2 and the cat refers to d 3 . The discourse model maintained by LGM accordingly contains references to objects d 2 and d 3 . Now we wish to express the ....

Knuth, D. (1986), Computers and Typesetting, Volume B, Addison-Wesley Publishing Co., Reading, MA.

....problem of finding all permissible hyphenation points in all words of a given language has been tackled for decades. Most of the approaches used are deterministic. A rule driven hyphenation algorithm for English was implemented in T E X78 (Liang 1981) The method was improved by Liang (Liang 1983, Knuth 1986) for use in T E X82. It is based on the generalization of the prefix, suffix and vowel consonant consonant vowel rules. The program PATGEN (Liang and Breitenlohner 1991) enables the process of pattern generation from a set of already hyphenated words to be automated. This algorithm or its ....

Knuth, D. E.: 1986, The T E Xbook, Vol. A of Computers and Typesetting, AddisonWesley, Reading, MA, USA.

....as a discrepancy of expansions is detected. The variable C is now exactly the number of iterations of this comparing algorithm. The HAKMEM memo [15] first described this comparison algorithm with continued fraction expansions. Later, the same algorithm has been used by Knuth in the Metafont system [18], and, more recently, Avnaim et al. 1] have proposed it for computing the sign of 2 Theta 2 determinants with integer entries. The comparison algorithm with continued fraction expansions has been previously studied in [40] 10 Some important dynamical sources. We develop now three main ....

Knuth, D.E. Volume D of Computers and Typesetting, MF: the program Addison Wesley, Reading, Massachussets, 1986.

....documentation makes a positive influence on the correctness, consistency and completeness of documentation. Besides, programming with documentation rather than with pure source code is a major step towards better program comprehensibility and thus maintainability. Well documented examples, like [Knu86], are of high value to students as they provide all necessary information to study both the architecture of existing software systems and their corresponding documentation. The Role of Documentation in Programmer Training Johannes Sametinger 5 3. Here is an outline of the entire Pascal ....

Knuth D.E.: Computers and Typesetting, Addison-Wesley, Reading, MA, 1986. The Role of Documentation in Programmer Training Johannes Sametinger - 11 -

....removed. This approach takes the advantage of the data structure used for storing the information about the hyphenation points. The patterns are stored using 3. How many of you, T E X users, remember to type eigh discretionary t t t een instead of just eighteen the trie data structure (see (Knuth 1973) pp. 481 505) This data structure allows effective prefix and postfix compression. Because of that, the increase in the size of the patterns is negligible, as the patterns doublets share both prefix and postfix parts in the trie. Also, the look up time in the trie is linear with respect to the word length ....

Knuth, D. E.: 1986a, T E X: The Program, Vol. B of Computers and Typesetting, Addison -Wesley, Reading, MA, USA.

....or APL system you can write and run any program in that language, but have no access to source code for the compiler or interpreter and then tackling these three exercises: 1. Add a new arithmetic operator to the language similar to the one for Pythagorean addition in Knuth s Metafont language [Knuth, 1986]: a b computes p a 2 b 2 . The language is to be augmented in such a way that the new operator is syntactically similar to the language operators for addition and subtraction. For C, you may use or rather than ; for APL, use one of the customary awful overstrikes such as [ ....

Knuth, Donald E. The METAFONT Book, volume C of Computers and Typesetting. AddisonWesley, Reading, Massachusetts, 1986. ISBN 0-201-13445-4.

....of the graphics included in T E X documents are PostScript and TIFF, at least support for the PostScript to PDF and TIFF to PDF conversion will have to be included in the future. 4. 5 Implementation The implementation of of T E X2PDF is realized as a web change file to the latest T E X source [20]. This implies that T E X2PDF is as portable as T E X itself is. Karl Berry s web2c package has been used for the development and for producing a running UNIX version. We expect easy recompilation on any UNIX platform. 5 Pros and Cons I was constantly bombarded by ideas for extensions, and I was ....

Donald E. Knuth. T E X: The Program, volume B of Computers and Typesetting. Addison -Wesley, Reading, MA, USA, 1986.

No context found.

Knuth, Donald E. METAFONT: The Program. Computers and Typesetting, Vol. D. Reading, Mass.: Addison-Wesley, 1986.

No context found.

Knuth, D., Computers and Typesetting, Addison Wesley, 1994.

No context found.

Donald E. Knuth. The METAFONTbook, volume C of Computers and Typesetting. Addison-Wesley, Reading, MA, USA, 1986.

No context found.

D. E. Knuth. The TeXbook. Computers and Typesetting. Addison Wesley, 1984.

No context found.

Donald E. Knuth. The METAFONTbook, volume C of Computers and Typesetting. Addison-Wesley, Reading, MA, USA, 1986.

No context found.

Knuth, D. (1986), Computers and Typesetting, Volume B, Addison-Wesley Publishing Co., Reading, MA.

No context found.

D.E. Knuth. Computers and typesetting. Vol. C, D. Addison-Wesley, 1986.

No context found.

D. Knuth. Computers and Typesetting. Addison-Wesley, Reading, Massachusetts, 1986.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC