MMIX

MMIX is a 64-bit RISC virtual machine designed by Donald Knuth, with significant contributions by John Hennessy and Dick Sites. Knuth will use MMIX in further editions of his multi-volume work The Art of Computer Programming (TAoCP) to illustrate machine-level aspects of programming, especially in relation to the analysis of algorithms.

MMIX's predecessor, MIX, is used in current and earlier editions of TAoCP. MMIX is a completely new design, replacing MIX in its entirety.

References

Donald E. Knuth (1999). MMIXware: A RISC Computer for the Third Millennium. Heidelberg: Springer-Verlag. ISBN 3-540-66938-8 (errata)

Donald Knuth's MMIX page — A brief introduction to MMIX, and Knuth's reasons for using a hypothetical assembly language in TAoCP.
Donald Knuth's MMIX news page — A simulator written in CWEB, a programmer's manual, and example programs.

de:MMIX