1 paper
Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
Monotone frameworks is one of the most successful frameworks for intraprocedural data flow analysis extending the traditional class of bitvector frameworks (like live variables and…