Patrick Cousot. The Contributions of Alan Mycroft to Abstract Interpretation. In Dominic Orchard, Tomas Petricek, Jeremy Singer, editors, Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice - Essays Dedicated to Alan Mycroft on the Occasion of His Retirement. Volume 15500 of Lecture Notes in Computer Science, pages 83-100, Springer, 2026. [doi]
Abstract is missing.