Inferring Non-Failure Conditions for Declarative Programs.

Published in: CoRR (2024)

Keyphrases

sufficient conditions
neural network
failure rate
high level
domain independent
databases
case study
data structure
search algorithm
expert systems
knowledge representation
computer programs
experimental conditions
success or failure