Lange, Torben Poort

• DAIMI Report Series No. 427 (1992): PB-427 The Correctness of an Optimized Code Generation - Articles
  The Correctness of an Optimized Code Generation
  Abstract  PDF