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

Shmuel Sagiv O. Edelstein Nissim Francez Michael Rodeh Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis. 36-48 1989 POPL db/conf/popl/popl89.html#SagivEFR89