Verification of code generators via higher-order model checking.

Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi

Browse the full PEPM paper archive.