Pascal Plus ou Moins Compiler
Authors : Mehdi Dogguy and Till Varoquaux.
Source code of PPMC.
The language is described in these three documents : 1, 2 and 3.
The documentation of the virtual machine (graphical version included) is here. A graphical version of the virtual machine for windows is available here (contains only binaries).
Some tests are available to test the compiler. The most relevant test is, without any doubt, "La roue de Lorentz".
All these documents and programs (except our compiler) are made by Jean-Christophe Filliâtre and you can find them here.