6 citations · 21 across the 14 of their papers we have counts for
1 paper · 1 filter
Flemming Nielson, Hanne Riis Nielson
This book is an introduction to program analysis that is meant to be considerably more elementary than our advanced book Principles of Program Analysis (Springer, 2005). Rather tha…