Transformational Derivation of an Improved Alias Analysis Algorithm Deepak Goyal OriginalPaper Pages: 15 - 49
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism Alberto PettorossiMaurizio ProiettiSophie Renault OriginalPaper Pages: 121 - 210