Christoph Walther. A Largely Automated Verification of GHC's Natural Mergesort. In Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer, editors, Go Where the Bugs Are - Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday. Volume 15765 of Lecture Notes in Computer Science, pages 83-103, Springer, 2025. [doi]
Abstract is missing.