Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa. Compiling C Programs into a Strongly Typed Assembly Language. In Iliano Cervesato, editor, Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings. Volume 4846 of Lecture Notes in Computer Science, pages 17-32, Springer, 2007. [doi]
Abstract is missing.