• Inferring non-failure conditio...

Treffer: Inferring non-failure conditions for declarative programs

Title:
Inferring non-failure conditions for declarative programs
Authors:
Hanus, Michael
Source:
In Science of Computer Programming May 2026 250
Database:
ScienceDirect