61. Literate Programming -- Propaganda And Tools Donald E. Knuth, tex the program . E SBK 686.22544 K74te c.1. Donald E.Knuth, METAFONT the program . E S-BK 655.24 K74m c.1 http://vasc.ri.cmu.edu/old_help/Programming/Literate/literate.html

Literate Programming Propaganda and Tools Table of contents Overview The Problem One Solution Tools ... History Overview A Rationale for literate programming Literate programming is an approach to programming which emphasises that programs should be written to be read by people as well as compilers. From a purist standpoint, a program could be considered a publishable-quality document that argues mathematically for its own correctness. A different approach is that a program could be a document that teaches programming to the reader through its own example. A more casual approach to literate programming would be that a program should be documented at least well enough that someone could maintain the code properly and make informed changes in a reasonable amount of time without direct help from the author. At the most casual level, a literate program should at least make its own workings plain to the author of the program so that at least the author can easily maintain the code over its lifetime. The problem Why is this a Good Thing? I suppose it depends on how you feel about programming. In some sense, if one is up against a deadline for getting code finished and working, trying to make a literate program instead of a working program might seem like a very bad idea. However, in a long-term project (code you don't plan to throw away in the near future), literate programming actually seems to pay off (although I have never seen a study to this effect). Why can this style of program development be beneficial?

62. Web2c: A TeX Implementation - WEB: Literate Programming Weave creates a tex document from a WEB source file (see section WEB Literateprogramming), assuming various macros defined in `webmac.tex . http://www.lns.cornell.edu/public/COMP/info/web2c/web2c_8.html

Go to the first previous next last section, table of contents WEB: Literate programming WEB languages allow you to write a single source file that can produce both a compilable program and a well-formatted document describing the program in as much detail as you wish to prepare. Writing in this kind of dual-purpose language is called literate programming . (The Usenet newsgroup `comp.programming.literate' WEB-like languages have been implemented with many pairs of base languages: Cweb provides C and Troff (see section References ); CWEB provides C and TeX ( CTAN: /web/c_cpp/cweb' ); Spiderweb provides C, C++, Awk, Ada, many others, and TeX ( CTAN: /web/spiderweb' ); and, of course, the original WEB provides Pascal and TeX, the implementation languages for the original TeX, Metafont, MetaPost, and related programs to come from the TeX project at Stanford. The original WEB language is documented in the file `webman.tex' Tangle: Translate WEB to Pascal Tangle creates a compilable Pascal program from a WEB source file (see section WEB: Literate programming ). Synopsis:

63. Literate Programming In Forth Knu86 Knuth, Donald E. tex The Program, Volume B in the series on Computersand Typesetting, AddisonWesley, 1986. Knu92 Knuth, Donald E. Literate http://decweb.bournemouth.ac.uk/staff/pknaggs/papers/literate.html

Literate Programming in Forth Peter J. Knaggs Department of Computing and Information Systems, University of Paisley, High Street, Paisley, Scotland. PA1 2BE pjk@paisley.ac.uk Abstract We look at Donald Knuth's concept of " Literate Programming ," investigating exactly what it is and how it is used to assist conventional programmers. We then ask what lessons we can learn from this idea and if it is possible to apply them to Forth. If so, then what is required and what advantages to we gain by doing so. Finally some examples of Forth coding techniques are given allowing us to compare the more traditional techniques with Knuth's system. 1. What is Literate Programming Literate programming was created by Donald Knuth during the development of his TeX typesetting system. It is the combination of documentation and source together in a fashion suited for reading by human beings. In general, literate programs combine source and documentation in a single file, referred to as a WEB. Literate programming tools then parse the file to produce either readable documentation or compilable source. All the original work revolves around a particular literate programming tool called WEB. Knuth [

64. TeX From FOLDOC The first version of tex was written in the programming language SAIL, to run ona PDP10 under Stanford s WAITS operating system. http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?TeX

65. Literate Programming tex the program Donald E. Knuth, AddisonWesley Longman, 1986. ISBN 0-201-13437-3Read this book. You will see why literate programming would work for you. http://www.vivtek.com/litprog.html

topics services online commerce products ... us Topic: Literate programming additional information links books project Synopsis: A brief history of the literate programming paradigm, recent work , and some ideas that we're working on , with apologies to the established players. Historical sketch The term literate programming , and the original literate programming system ( WEB ) which implemented the concept, were both the creation of Donald Knuth, one of the most literate programmers the world has ever known. Knuth, of course, is the author of The Art of Computer Programming , the TeX typesetting system, and other works of the programming art. It was Knuth's intention to provide a system of programming by which the programmer could typeset his or her work in book or article form, so that each choice of implementation, each algorithm, was clearly explained and justified. The resulting work of art would then stand as the quintessential definition of a solution for the problem it addressed. Knuth used and developed this system while writing TeX and Metafont, and the resulting two books of code/documentation remain the most readable and usable collections of code I have ever seen. TeX, of course, is the standard of typesetting software in the academic world (usually in its LaTeX incarnation, which runs as a macro package on basic TeX), and has been for nearly twenty years. Twenty years for a software package! Only Unix has comparable staying power. Literate programming, however, is not a mainstream technique. Those who use literate programming tools often wonder why not. There have been no studies done of which I am aware, but the basic shortcoming of literate programming is that it is difficult to write a literate program quickly. Yes, once it is written, it is impeccably documented, easily debugged (in those cases where it isn't already provably correct), simply maintained by the original author and others, and in general simply has a far higher quality in every respect than an "illiterate" program.

66. Mathematical Programming Journal Aims and Scope Mathematical programming publishes original articles dealing with A template Latex2e source file template.tex; A modification clo file http://www.mathprog.org/sub/journal.htm

Find out more about: The editorial boards The publisher About LaTeX style files Abstracting/indexing ... MPS Publications The Journal: Mathematical Programming, Series A and Series B Quick link to Springer Online First Audience: Mathematicians, Econometricians, Operations Researchers Aims and Scope: Mathematical Programming consists of two series. Series A publishes original research articles, expositions and surveys, and reports on computational experimentation and new or innovative practical applications as well as short communications dealing with the above. Issues of Series B each focus on a single subject of current interest to the mathematical programming community. Each issue of Series B has one or more guest editors, who need not be members of the editorial board. An issue may be a collection of original articles, a single research monograph or a selection of papers from a conference. top of page Editorial Boards Editor-in-Chief Series A: W. Cook

67. TeX User Group Bibliography Archive: Directory Subtable: M tex User Group bibliography archive directory subtable M macsyma, MACSYMA andVAXIMA programming languages .bib, .dvi, .html, .ltx, .pdf.gz, .ps.gz, http://www.math.utah.edu/pub/tex/bib/index-table-m.html

TeX User Group bibliography archive: directory subtable: M Previous (L) Next (N) Top Mach UNIX-like operating system kernel .bib .dvi .html .ltx ... .twx macsyma MACSYMA and VAXIMA programming languages .bib .dvi .html .ltx ... makefile UNIX makefile to format the bibliographies Makefile maple-extract Maple symbolic algebra system .bib .dvi .html .ltx ... .twx maple-tech Maple Newsletter and Maple Technical Newsletter [journals] .bib .dvi .html .ltx, ... .twx markuplang [journal] .bib .dvi .html .ltx ... .twx master NHFB's collection of books .bib .dvi .html .ltx ... .twx Mathematics of Computation , and its predecessors (19401949) [journals] .bib .dvi .html .ltx ... .twx Mathematics of Computation (19501959) [journal] .bib .dvi .html .ltx ... .twx Mathematics of Computation (19601969) [journal] .bib .dvi .html .ltx ... .twx Mathematics of Computation (19701979) [journal] .bib .dvi .html .ltx ... .twx Mathematics of Computation (19801989) [journal] .bib .dvi .html .ltx ... .twx Mathematics of Computation (19901999) [journal] .bib .dvi .html .ltx ... .twx Mathematics of Computation (20002009) [journal] .bib .dvi .html .ltx ... .twx mathematica Mathematica symbolic algebra system .bib .dvi,

68. Re: Fonts Installations (again Again Again) fixme (Continuing; cross thumbs) paper output to `example1.tex programmingerror (Continuing; cross thumbs) programming error Infinity or NaN http://lists.gnu.org/archive/html/bug-lilypond/2002-03/msg00040.html

bug-lilypond Top All Lists Advanced Date Prev ... Thread Index Re: Fonts installations (again again again) From Rune Zedeler Subject Re: Fonts installations (again again again) Date Mon, 18 Mar 2002 16:10:29 +0100 try this patch: No, I'm afraid not... :-( address@bogus.example.com address@bogus.example.com :...lilypond/input]$ If this is a failure in our system please tell me what to tell to our system administrators... -Rune reply via email to Prev in Thread Current Thread Next in Thread Fonts installations (again again again) Rune Zedeler Fonts installations (again again again) Han-Wen Nienhuys Re: Fonts installations (again again again) Rune Zedeler Re: Fonts installations (again again again) Han-Wen Nienhuys Re: Fonts installations (again again again) Rune Zedeler Re: Fonts installations (again again again) Jan Nieuwenhuizen Re: Fonts installations (again again again) Han-Wen Nienhuys Re: Fonts installations (again again again) Jan Nieuwenhuizen Re: Fonts installations (again again again) Mats Bengtsson Re: Fonts installations (again again again) Rune Zedeler Prev by Date: Fonts installations (again again again) Next by Date: Re: Fonts installations (again again again) Previous by thread: Fonts installations (again again again) Next by thread: Re: Fonts installations (again again again) Index(es): Date Thread

69. Re: Fonts Installations (again Again Again) usr/local/tex/texmf}} Now it all behaves quite different but it still does not cross thumbs) paper output to `example-1.tex programming error http://lists.gnu.org/archive/html/bug-lilypond/2002-03/msg00045.html

bug-lilypond Top All Lists Advanced Date Prev ... Thread Index Re: Fonts installations (again again again) From Rune Zedeler Subject Re: Fonts installations (again again again) Date Mon, 18 Mar 2002 17:07:06 +0100 (MET) User-agent IMP/PHP IMAP webmail program 2.2.6 address@bogus.example.com What is the value of $TEXMF? address@bogus.example.com address@bogus.example.com :...lilypond/input]$ -Rune reply via email to Prev in Thread Current Thread Next in Thread Fonts installations (again again again) Rune Zedeler Fonts installations (again again again) Han-Wen Nienhuys Re: Fonts installations (again again again) Rune Zedeler Re: Fonts installations (again again again) Han-Wen Nienhuys Re: Fonts installations (again again again) Rune Zedeler Re: Fonts installations (again again again) Jan Nieuwenhuizen Re: Fonts installations (again again again) Han-Wen Nienhuys Re: Fonts installations (again again again) Jan Nieuwenhuizen Re: Fonts installations (again again again) Mats Bengtsson Re: Fonts installations (again again again) Rune Zedeler Prev by Date: Re: Fonts installations (again again again) Next by Date: Re: Fonts installations (again again again) Previous by thread: Re: Fonts installations (again again again) Next by thread: Re: Fonts installations (again again again) Index(es): Date Thread

70. FAQTs - Knowledge Base - Faqts : Computers : Programming : Languages : Tex : LaT faqts Computers programming Languages tex Latex tex Faqts Latex search Dogpile Latex search Google Latex search Vivisimo http://www.faqts.com/knowledge_base/index.phtml/fid/776

Home My Faqts Contributors About ... Tex : LaTeX My Recent Searches All of FAQTs faqts Knowledge Base LaTeX Folder Folders Add Folder Alert Manage Folder Manage Links There are no folders in this category Links TeX: Faqts LaTeX: search: Dogpile LaTeX: search: Google LaTeX: search: Vivisimo ... LaTex: search: Yahoo Questions Share Your Knowledge Ask a Question Recent Latex: PDF: How to get color text in your PDF output? Random Latex: PDF: How to get color text in your PDF output? Latex: PDF: How to get color text in your PDF output? Unanswered Questions There are no unanswered questions in this folder. Its subfolders may contain unanswered questions.

71. FAQTs - Knowledge Base - Faqts : Computers : Programming : Languages : Tex tex Latex Link Overview Can you give an overview of links? tex Latex FigureAdd How to How to add a figure to Latex? http://www.faqts.com/knowledge_base/index.phtml/fid/775

Home My Faqts Contributors About ... Languages : Tex My Recent Searches All of FAQTs faqts Knowledge Base Tex Folder Folders Add Folder Alert Manage Folder Manage Links LaTeX Links TeX: software: Latrobe TeX: search: Dogpile TeX: search: Google TeX: search: Vivisimo ... TeX: search: AskJeeves Questions Share Your Knowledge Ask a Question Recent Tex: Latex: Figure: Add: How to: How to add a figure to LaTeX? Latex: PDF: How to get color text in your PDF output? TeX: LaTeX: Link: Overview: Can you give an overview of links? Random Latex: PDF: How to get color text in your PDF output? Latex: PDF: How to get color text in your PDF output? Latex: PDF: How to get color text in your PDF output? TeX: LaTeX: Link: Overview: Can you give an overview of links? ... Tex: Latex: Figure: Add: How to: How to add a figure to LaTeX? Unanswered Questions There are no unanswered questions in this folder. Its subfolders may contain unanswered questions.

72. ERCB: DDJ Programmer's Bookshelf August 1992 The Errors of tex, which describes the milieu of literate programming, bytracing the history of all changes made to tex as that system evolved. http://www.ercb.com/ddj/1992/ddj.9208.html

ERCB Home New Feature Brief ... Links Literate Programming Review by Andrew Schulman In much the same way that General Francisco Franco is still dead, volume 4 ( Combinatorial Algorithms ) of Donald Knuth's projected seven-volume Art of Computer Programming is still not out. Neither are volumes 5 ( Syntactical Algorithms Theory of Languages ), or 7 ( Compilers DDJ readers are probably familiar with the reason why: Knuth has been on a ten-year detour from the Art of Computer Programming , working in the field of computer typesetting (TeX) and typography (METAFONT). In addition to producing the TeX and METAFONT software itself, Knuth has used this software to produce an attractive five-volume series, Computers and Typesetting , that includes not only the documentation for TeX and METAFONT, but also their source code. What DDJ readers may not be familiar with is that this source code is written in a programming language called WEB. But when I say "written," I really do mean written: the source code, and the written description of it, are one and the same. WEB is a language, quite similar to Pascal (there's also CWEB, which is quite similar to C), which makes it possible to merge the executable source for a system with its description. More importantly, it allows you to construct and present the source in an order which makes "psychological" sense. Using such a system, software "authors" really do become authors, concerned with writing and presenting code in a way that makes sense, not so much to the compiler, but to the reader.

73. SuSE Mailinglist: Re: [suse-programming-e] Printing LaTex File With Kile Next message Jeroen Wijnhout Re suseprogramming-e Printing Latex file withkile latex file.tex will produce a dvi file which can be http://lists.suse.com/archive/suse-programming-e/2003-Jun/0046.html

Re: [suse-programming-e] Printing LaTex file with kile From: Christopher Mahmood ( ckm_at_suse.com Date: Tue Jun 10 2003 - 01:27:51 CEST Next message: Jeroen Wijnhout: "Re: [suse-programming-e] Printing LaTex file with kile" Previous message: Prabu Subroto: "[suse-programming-e] Printing LaTex file with kile" In reply to: Prabu Subroto: "[suse-programming-e] Printing LaTex file with kile" Next in thread: Jeroen Wijnhout: "Re: [suse-programming-e] Printing LaTex file with kile" Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] ... [ attachment ] * Prabu Subroto (prabu_subroto@yahoo.com) [030609 15:24]: [snip] I presume you want to print the formatted letter, not the latex source. 'latex file.tex' will produce a dvi file which can be converted to whatever final format you want (e.g., Postscript, PDF, ascii, etc). To turn the dvi file into postscript, dvips file.dvi If you want a PDF, you'll probably get better results by using pdflatex instead of latex as above. > What is "DVI"? Is it LaTex file? http://www.tex.ac.uk/cgi-bin/texfaq2html?label=dvi

74. Inverse Literate Programming into a tex file containing the program s documentation and a Pascal or C All necessary tex macros, styles etc. are also provided with lispdoc . http://lki-www.informatik.uni-hamburg.de/~kirschke/invlit.html

Inverse Literate Programming What is it? To begin with the non-inverse approach, Literate Programming means generating both program documentation and source code from one `meta-source' file; a good example for literate programming is WEB. A WEB file is broken down by a `compilation' process into a TeX file containing the program's documentation and a Pascal or C file containing the program's source code (among providing the poor Pascal programmers with the benefits of a textual preprocessor). Alas, inverse literate programmming works a little bit the other way round: It takes a source code and generates a TeX documentation for it. I developed this strange looking way of processing `the other way round' w.r.t. Literate Programming because my diploma thesis supervisor raised the request to make a good-looking manual for my diploma thesis at the very end of programming around 500 KBytes of LISP code; so I thought it would be a good idea to use the nice syntax, structuring and its regular treatment of documentating items inherent to the LISP language to generate a manual right from the source code itself, especially because LISP programmers are encouraged to document their `products' directly in the source code. A package for Inverse Literate Programming The package lisp-doc can be used for generating semi-automated documentation from LISP source code. It is `only' a spin-off product of my

75. Programming Languages programming/macro language than tex. For HTML (the web markup language). The NCSABeginner s Guide to HTML. Ian Graham s guide to HTML. http://www.cs.waikato.ac.nz/~marku/languages.html

Programming Languages Alan Perlis once said: "A language that doesn't affect the way you think about programming, is not worth knowing" Here are some opinions and facts about a selection of programming languages by Dr Mark Utting ( a lecturer in the Department of Computer Science at The University of Waikato Topics within this page Object-Oriented Languages Documentation Generator Tools Functional Languages Free Implementations ... XML-related Languages (XSLT etc.) The Open Directory Project has lots of programming language information For examples of programming in 200+ different languages, check out Tim Robinson's 99 Bottles of Beer page. The Dylan version is nice, but make sure you check out all the C++ versions too! The template version is amazing! More programming language comparisons, including employer demand, are available at http://www.pixeldate.com/dev /comparison/ Object-Oriented Languages The Cetus Team maintains a large collection of links about most object-oriented languages. Let us start with some lesser-known, but more novel, object-oriented languages, then work down to the well-known mainstream ones. One of my favourite object-oriented languages is Cecil , by Craig Chambers. It is a multiple-dispatch language that supports both exploratory untyped programming and large-scale statically-typed programming. It includes some new and very expressive ideas (see the paper

76. Homepage Of Crimson Editor - Free Text Editor, Html Editor, Programmers Editor F program, programming, www web programming, software development tool, HTML, C/C++, Perl, Java, Matlab, tex/Latex, Pro*C, PERL, JAVA, EJB, PL/SQL. http://www.crimsoneditor.com/

Welcome to Crimson Editor homepage! This page can be viewed by web browser which support frameset

77. LyX, The Word-processor Front-end For LaTeX I am not the author of this program, as anyone who knows my programming skills, With the new WYSIWYG math editor, which accepts standard tex code for http://www.lehigh.edu/~dlj0/LyX.html

LyX, the word-processor front-end for LaTeX I am not the author of this program, as anyone who knows my programming skills, or lack thereof, can attest.) The original principal author of LyX has asked me to start this page of information about his program. However, development of LyX has now been taken over by a world-wide team of people, some of whom are listed in my rogue's gallery of photo's of them. I need more pictures. Don't be shy, folks. See the CREDITS file (or button) within LyX for the (in)complete list of the developers. Other pages: There are a number of other Web pages supporting LyX. I don't have all the addresses right now, but, here are some more to look at: Official LyX Site. Check here first for the latest information, sources, and binaries. Alejandro Aguilar's homepage. LyX en Espanol. Another indicator of the true international nature of LyX. Alejandro has been instrumental in the development of LyX, having constructed the (excellent) math editor, among other things. Asger Alstrup's homepage.

78. Programming Contest Problems Archive YSUACM High School programming Contest. 1991 problems in tex and gzipped Postscriptformat 1992 problems in tex and gzipped Postscript format 1993 http://www.inf.bme.hu/contests/tasks/

Welcome to the Programming Contest Problems Archive! If you are preparing for a programming contest or just want to have some interesting problems this page might be useful. Here you can find past problems of national, regional and international contests. Have fun! This page was accessed times since December 1996. New Items: ACM Central European Region 1997 ACM East Central Region 1997 ACM Mid-Central Region 1997 International Olympiad in Informatics IOI'89 - Pravetz, Bulgaria IOI'90 - Minsk, Belarus, Soviet-Union IOI'91 - Athens, Greece IOI'92 - Bonn, Germany ... IOI'95 - Eindhoven, The Netherlands Day 1 tasks: A Game Job Processing Network of Schools in zipped Word for Windows format and in HTML Day 1 solutions (in Pascal): A Game Job Processing Network of Schools Day 2 tasks: Sorting a Three-Valued Sequence Longest Prefix Magic Squares in zipped Word for Windows format and in HTML Day 2 solutions (in Pascal): Sorting a Three-Valued Sequence Longest Prefix Magic Squares Miscellaneous: test data for all the 6 tasks, mtool.exe to the task Magic Squares include modules for the task A Game The ACM International Collegiate Programming Contest ACM'91 in text and HTML ACM'92 in text and HTML ACM'93 in text and HTML ACM'94 in text and HTML ACM'95 in text and HTML ACM'96 DUKE Internet Programming Contest 1990 problems in TeX and Postscript format and complete package (.tar.gz)

79. Mpichman.tex Mpich contains, along with the MPI library itself, a programming environment for The programming environment includes a portable startup mechanism, http://www-unix.mcs.anl.gov/mpi/mpich/docs/mpichman-chp4/mpichman-chp4.htm

Installation and User's Guide to mpich,a Portable Implementation of MPIVersion 1.2.5The chp4 device for Workstation Networks William Gropp and Ewing Lusk MPI (Message-Passing Interface) is a standard specification for message-passing libraries. Mpich is a portable implementation of the full MPI-1 specification for a wide variety of parallel and distributed computing environments. Mpich contains, along with the MPI library itself, a programming environment for working with MPI programs. The programming environment includes a portable startup mechanism, several profiling libraries for studying the performance of MPI programs, and an X interface to all of the tools. This document describes how to install and use the mpich implementation of MPI. This document describes how to obtain, install, and use mpich ], the portable implementation of the MPI Message-Passing Standard. This document describes version 1.2.5. Contents Introduction Features of recent releases Choosing the correct device and release Citations and References ... Bibliography

80. Index Of /ftp-mirror/programming/djgpp/pub/simtelnet/gnu/djgpp/v2apps/tex Index of /ftpmirror/programming/djgpp/pub/simtelnet/gnu/djgpp/v2apps/tex Apache/2.0.54 (Unix) Server at programming.ccp14.ac.uk Port 80. http://programming.ccp14.ac.uk/ftp-mirror/programming/djgpp/pub/simtelnet/gnu/dj

Index of /ftp-mirror/programming/djgpp/pub/simtelnet/gnu/djgpp/v2apps/tex Name Last modified Size Description ... 00_index.txt 20-May-2003 21:30 2.7K TeX.README 10-Nov-1998 00:00 31K bm2fo20b.zip 10-Dec-2000 23:11 89K bm2fo20d.zip 10-Dec-2000 23:11 927K bm2fo20s.zip 10-Dec-2000 23:08 502K dpdf094b.zip 17-Nov-2000 17:05 2.3M dpdf094s.zip 17-Nov-2000 17:05 256K dtl060b.zip 13-May-2000 10:30 90K dtl060s.zip 05-Nov-1998 00:00 108K dvdj09b.zip 13-May-2000 10:30 960K dvdj09s.zip 05-Nov-1998 00:00 40K dvdv11b.zip 13-May-2000 10:30 50K dvdv11s.zip 05-Nov-1998 00:00 90K dvga09b.zip 13-May-2000 10:30 964K dvlj26b.zip 13-May-2000 10:33 1.3M dvlj26s.zip 05-Nov-1998 00:00 131K dvps578b.zip 13-May-2000 10:32 1.3M dvps578s.zip 05-Nov-1998 00:00 1.0M gspk116b.zip 13-May-2000 10:32 235K gspk116s.zip 05-Nov-1998 00:00 92K kpse32b.zip

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 4     61-80 of 111    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20