The GNU 64-bit PL8 compiler
IBM research report describing the extension of PL8 to support 64-bit addressing, its implementation as a GCC front end, and the validation of the new compiler. Evaluation of PL8 as a language for highly reliable low-level programming.