Naoki Kobayashi, Keita Shirane. Type-Based Information Analysis for Low-Level Languages. In The Third Asian Workshop on Programming Languages and Systems, APLAS 02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings. pages 302-316, 2002.
Abstract is missing.