"Implementation of the memory-safe full ANSI-C compiler."

Yutaka Oiwa (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics