Compiling C Programs into a Strongly Typed Assembly Language. - Takahiro Kosakai; Toshiyuki Maeda; Akinori Yonezawa (ASIAN, 2007)