TY  - RPRT
TI  - Simple, Light, Yet Formally Verified, Global Common Subexpression Elimination and Loop-Invariant Code Motion
AU  - David Monniaux
AU  - Cyril Six
PY  - 2021
UR  - https://arxiv.org/abs/2105.01344
ID  - 2105.01344
ER  -