New Jersey Machine-Code Toolkit Reference Manual Version 0.1

Abstract:

This document contains the reference manual for version 0.1 of the New
Jersey Machine-Code toolkit. It is not intended to explain what is
going on; for an overview of the toolkit, see [ramsey:jersey]. For
extended examples describing real machines, see [ramsey:tk-architecture].
This document goes into the nooks and crannies of the toolkit and
describes what lurks there. This is the place to find out the whole
truth about the toolkit's specification language, as well as get a
description of its myriad command-line options.