Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Examples programs written in <tt>noweb</tt>

Noweb example programs

All but one of these examples have had their documentation parts converted automatically from LaTeX to HTML. (Can you tell which one?) Except for breakmodel, each example file is a fragment of a larger program.

The typical command line used to create one of these documents is:

noweave -filter l2h -index -autodefs c -html compress.nw > compress.html

for various values of c :-)

The example programs are:

breakmodel: A formal model of breakpoints using the Promela modeling language.
compress: A library that modifies the open, close, read, and write system calls (along with some others) to transparently read and write files in Unix compress format. Graciously contributed by Matthias Blume
dag: Fragment of an Icon program that compiles patterns into decision-tree pattern-matching code. tree.nw builds the decision trees; dag.nw turns them into dags.
graphs: Several graphs written in jgraph.
mipscoder: Part of the original MIPS code generator from Standard ML of New Jersey. Written in Standard ML.
primes: noweb version of DEK's original prime-number program. I got tired of typing and never entered all the text.
scanner: Part of a student compiler project. Includes C code and lex and yacc specifications, all in a single file.
solver: An equation solver, published in Software---Practice & Experience. The PostScript is probably easier to read.
test: A simple test file.
tree: Fragment of an Icon program that compiles patterns into decision-tree pattern-matching code. tree.nw builds the decision trees; dag.nw turns them into dags.
wc: An re-implementation of the example word-count program from Don Knuth's book on literate programming. This example is as exact a copy as possible; no attempt was made to improve the code. Here is a version without identifier cross-reference, which gives it a cleaner look. Here you can see a plain-text rendering of the noweb source.