A framework for memory efficient context-sensitive program analysis
scientific article; zbMATH DE number 7596188