Shallow embedding of DSLs via online partial evaluation

@inproceedings{Leia2015ShallowEO,
  title={Shallow embedding of DSLs via online partial evaluation},
  author={Roland Lei\ssa and Klaas Boesche and Sebastian Hack and Richard Membarth and Philipp Slusallek},
  booktitle={GPCE},
  year={2015}
}
This paper investigates shallow embedding of DSLs by means of online partial evaluation. To this end, we present a novel online partial evaluator for continuation-passing style languages. We argue that it has, in contrast to prior work, a predictable termination policy that works well in practice. We present our approach formally using a continuation-passing variant of PCF and prove its termination properties. We evaluate our technique experimentally in the field of visual and high-performance… CONTINUE READING