Hacker News new | ask | show | jobs
by fmap 3409 days ago
This definition is actually required for the correctness of many standard compiler optimizations such as partial redundancy elimination and code motion.