A Galois Connection Calculus for Abstract Interpretation [pdf]di.ens.fr2 points·jamespwilliams··0 commentsOpen articleSaveView on HN