Static error detection using semantic inconsistency inference.
Isil DilligThomas DilligAlex AikenPublished in: PLDI (2007)
Keyphrases
- error detection
- error correction
- error recovery
- data cleansing
- error correcting
- probabilistic inference
- fault tolerance
- natural language
- error control
- semantic annotation
- error resilient
- high level
- semantic information
- semantic web
- graphical models
- semantic analysis
- inference process
- fault isolation
- belief networks
- natural language understanding
- response time
- data sources
- expert systems