Generating data flow analysis algorithms from modal specifications
automatic identification of program points
scientific article; zbMATH DE number 609585