6 citations · 21 across the 14 of their papers we have counts for
1 paper · 2 filters
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…