Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation.
Zu-Ming JiangZhendong SuPublished in: OSDI (2024)
Keyphrases
- logic programming
- modal logic
- classical logic
- automatic detection
- data sets
- static analysis
- software projects
- test cases
- website
- neural network
- real time
- source code
- expressive power
- information systems
- search engine
- automated reasoning
- linear transformation
- asynchronous circuits
- proof theory
- sound and complete axiomatization