We have discussed partial evaluation of programs in statically scoped Lisp-like languages and described a self-applicable partial evaluator, mix, that has been successfully applied to generate compilers for toy languages, and even to generate a compiler generator. We assessed mix and gave tables of running times and space usage to illustrate its behavior. As a basis for this, we introduced a formal framework for partial evaluation, compiling, and compiler generation which enabled the presentation of mix's applications. We also described and discussed the language Mixwell that was designed as the subject language for mix.
CITATION STYLE
Jones, N. D., Sestoft, P., & Søndergaard, H. (1988). Extended abstract of MIX: A self-applicable partial evaluator for experiments in compiler generation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 298 LNCS, pp. 386–413). Springer Verlag. https://doi.org/10.1007/3-540-19020-1_21
Mendeley helps you to discover research relevant for your work.