Inferring Non-Failure Conditions for Declarative Programs

Michael Hanus

Unintended failures during a computation are painful but frequent during software development. Failures due to external reasons (e.g., missing files, no permissions) can be caught…