Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation