Glindtvad, Karin

• DAIMI Report Series No. 368 (1991): PB-368 Correctness Preserving Transformations on a Multipass Occam Compiler - Articles
  Correctness Preserving Transformations on a Multipass Occam Compiler
  Abstract  PDF