Translation Validation of Loop Invariant Code Optimizations Involving False Computations.
Ramanuj ChoukseyChandan KarfaPurandar BhaduriPublished in: VDAT (2017)
Keyphrases
- affine transformation
- machine translation
- affine invariant
- instruction scheduling
- relational databases
- domain specific languages
- error correcting
- moment invariants
- source code
- static analysis
- translation invariant
- statistical machine translation
- invariant properties
- language resources
- model validation
- object oriented
- knowledge base