Michael Hanus. Inferring Non-failure Conditions for Declarative Programs. In Jeremy Gibbons, Dale Miller 0001, editors, Functional and Logic Programming - 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings. Volume 14659 of Lecture Notes in Computer Science, pages 167-187, Springer, 2024. [doi]
Abstract is missing.