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 form of literature and consequently published as a book. Of course there is a way of converting such a piece of literature into an ordinary program: it contains Pascal code. Over the years, the support for Pascal as a major programming language decreased and Pascal was replaced by C as the system programming language of choice. 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 feasible either.Yes, because the program contained in this book, a literate program itself, is specifically 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 .

This book describes a new file format to store documents in a reflowable format.

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.