Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis.

Shmuel Sagiv, Orit Edelstein, Nissim Francez, Michael Rodeh

Browse the full POPL paper archive.