Type-Based Information Analysis for Low-Level Languages.

Naoki Kobayashi, Keita Shirane

Browse the full APLAS paper archive.