Type-Based Information Analysis for Low-Level Languages

@inproceedings{Kobayashi2002TypeBasedIA,
  title={Type-Based Information Analysis for Low-Level Languages},
  author={Naoki Kobayashi and Keita Shirane},
  booktitle={APLAS},
  year={2002}
}