Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations.

Manjeet Dahiya Sorav Bansal

Published in: Haifa Verification Conference (2017)

Keyphrases

general purpose
formal semantics
database
programming language
modeling method
relational databases
data management
semantic information
formal specification
dynamic aspects
highly optimized