A normal form for compiler testing | ACM SIGPLAN Notices | DeepDyve