Detecting Inconsistencies in If-Condition-Raise Statements.

Published in: ASE (2022)

Keyphrases

automatic detection
knowledge base
sufficient conditions
database
databases
real world
information retrieval
information systems
e learning
programming language
denotational semantics