Improving CPS-Based Partial Evaluation: Writing Cogen by Hand

It is well-known that self-applicable partial evaluation can be used to generate compiler generators: cogen = mix(mix;mix), where mix is the specializer (partial evaluator). However, writing cogen by hand gives several advantages: (1) Contrasting to when writing a self-applicable mix, one is not restricted to write cogen in the same language as it treats HL91]. (2) A handwritten cogen can be more e cient than a cogen generated by self-application; in particular, a handwritten cogen typically performs no (time consuming) environment manipulations whereas one generated by self-application does. (3) When working in statically typed languages with user de ned data types, the self-application approach requires encoding data type values Bon88, Lau91, DNBV91], resulting in relatively ine cient (cogen-generated) compilers that spend much of their time on coding and decoding. By writing cogen by hand, the coding problem is eliminated HL91, BW93]. Specializers written in continuation passing st...

• Type: Conference
• Year: 1994
• Where: PEPM
• Authors: Anders Bondorf, Dirk Dussart
• Keywords: Cogen, Hand-writing Cogen, Handwritten Cogen, PEPM 1994, Software Engineering