Michael Hanus. Inferring non-failure conditions for declarative programs. Science of Computer Programming, 250:103416, 2026. [doi]
@article{Hanus26,
title = {Inferring non-failure conditions for declarative programs},
author = {Michael Hanus},
year = {2026},
doi = {10.1016/j.scico.2025.103416},
url = {https://doi.org/10.1016/j.scico.2025.103416},
researchr = {https://researchr.org/publication/Hanus26},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {250},
pages = {103416},
}