Verification of Attribute Grammars.

Takuya Katayama, Yutaka Hoshino

Browse the full POPL paper archive.