This book describes a project to convert the TEX source code written by Donald E
. Knuth as a WEB into a cweb.

A WEB here means a literate program, that is a program which is written as a for
m of literature and consequently published as a book. Of course there is a way o
f converting such a piece of literature into an ordinary program: it contains Pa
scal code. Over the years, the support for Pascal as a major programming languag
e decreased and Pascal was replaced by C as the system programming language of c
hoice. Consequently, WEB was replaced by cweb, leading to the
obvious question: can we convert the TEX source code to cweb. And the answer is:
yes and no.

No, because TEX is a rather large program, so it is not feasible to translate it
manually, and translating literature by means of an automatic process is not fe
asible either.

Yes, because the program contained in this book, a literate program itself, is s
pecifically tailored to the TEX source code and achieves a good approximation to
such a translation.

The book is available directly from Amazon

For further details see the my project home page .

In February 2015, I finished the MMIX Supplement to Donald Knuths series of Books on The Art of Computer Programming. The book contains trasnslations for the MMIX processor of all the programs Donald Knuth had written for the (by now a bit outdated) MIX computer. Along with the programs, the analysis of the algorithms was updated to reflect the new processor.

More Information about the book, you find on the Understanding MP3 Homepage

Understanding MP3 - Syntax, Semantics, Mathematics, and Algorithms

Thanks to CreateSpace the book is again available in print directly from Amazon

The book has two main objectives:

To explain the syntax, the semantics, the mathematics, the software, and the purpose that is inherent in an MPEG audio bit stream, and

to provide a highly efficient, general purpose implementation of a decoder, called mp32pcm, that can transform such a bit stream into an ordinary stream of PCM data.

The paper

"A Generic Virtual Bus for Hardware Simulator Composition" ,

together with Axel Böttcher and Martin Hauser appeared in IEEE Design&Test. Thanks go to my students in the IT-Systems course who helped testdriving the simulator during the last semesters.