Inferring Non-failure Conditions for Declarative Programs.

Published in: FLOPS (2024)

Keyphrases

sufficient conditions
database
search engine
domain independent
environmental conditions
programming environment
experimental conditions
root cause
control structures
declarative semantics