Return to Article Details The Correctness of an Optimized Code Generation Download Download PDF