Flow grammars: a methodology for automatically constructing static analyzers

James S. Uhl. Flow grammars: a methodology for automatically constructing static analyzers. PhD thesis, University of Victoria, Canada, 1995. [doi]

Abstract

Abstract is missing.