Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs (2000)

by Javier Esparza , Andreas Podelski
Citations:31 - 3 self