A Galois connection calculus for abstract interpretation [pdf]di.ens.fr4 points·lbeziaud··0 commentsOpen articleSaveView on HN