A self-applicable partial evaluator and its use in incremental compilation Hiroshi FujitaKoichi Furukawa OriginalPaper Pages: 91 - 118
Unfolding rules for GHC programs Koichi FurukawaAkira OkumuraMasaki Murakami OriginalPaper Pages: 143 - 157
Specialisation of Prolog and FCP programs using abstract interpretation John GallagherMichael CodishEhud Shapiro OriginalPaper Pages: 159 - 186
Composing recursive logic programs withClausal join A. LakhotiaL. Sterling OriginalPaper Pages: 211 - 225
Partial evaluation of metaprograms in a “multiple worlds” logic language Giorgio LeviGiuseppe Sardu OriginalPaper Pages: 227 - 247
Partial evaluation of queries in deductive databases Chiaki SakamaHidenori Itoh OriginalPaper Pages: 249 - 258
A partial evaluation system for Prolog: some practical considerations Raf VenkenBart Demoen OriginalPaper Pages: 279 - 290
Challenging problems in partial evaluation and mixed computation Neil D. Jones OriginalPaper Pages: 291 - 302