An Inductive Proof Method for Simulation-based Compiler Correctness.
Sigurd SchneiderGert SmolkaSebastian HackPublished in: CoRR (2016)
Keyphrases
- synthetic data
- high accuracy
- evaluation method
- error rate
- significant improvement
- pairwise
- objective function
- machine learning
- cost function
- fully automatic
- computational cost
- high precision
- programming language
- main contribution
- mutual information
- classification method
- feature selection
- detection algorithm
- evolutionary algorithm
- preprocessing
- dynamic programming
- prior knowledge