Abstract interpretation and attribute grammars

Mads Rosendahl. Abstract interpretation and attribute grammars. PhD thesis, University of Cambridge, UK, 1991. [doi]

Bibliographies