Run-time Code Generation and Modal-ML (1998)
| Venue: | In Conference on Programming Language Design and Implementation, PLDI’98 |
| Citations: | 25 - 4 self |
BibTeX
@INPROCEEDINGS{Wickline98run-timecode,
author = {Philip Wickline and Peter Lee and Frank Pfenning},
title = {Run-time Code Generation and Modal-ML},
booktitle = {In Conference on Programming Language Design and Implementation, PLDI’98},
year = {1998},
pages = {224--235},
publisher = {ACM Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper presents early experience with a typed programming language and compiler for run-time code generation. The language is an extension of the SML language with modal operators, based on the 2 language of Davies and Pfenning. It allows programmers to specify precisely, through types, the stages of computation in a program. The compiler generates target code that makes use of run-time code generation in order to exploit the staging information. The target machine is currently a version of the Categorial Abstract Machine, called the CCAM, which we have extended with facilities for run-time code generation. Using this approach, the programmer is able to express the staging that he wants to the compiler directly. It also provides a typed framework in which to verify the correctness of his staging intentions, and to discuss his staging decisions with other programmers. Finally, it supports in a natural way multiple stages of run-time specialization, so that dynamically generated c...
