Run-time code generation and modal-ML Export

@inproceedings{citeulike:117721, abstract = {This paper presents a typed programming language and compiler for run-time code generation. The language, called ML', extends ML with modal operators in the style of the Mini-ML' e language of Davies and Pfenning. ML' allows programmers to use types to specify precisely the stages of computation in a program. The types also guide the compiler in generating target code that exploits the staging information through the use of run-time code generation. The target machine is currently a version of the Categorical Abstract Machine, called the CCAM, which we have extended with facilities for run-time code generation.This approach allows the programmer to express the staging that he wants directly to the compiler. 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 code can be used in the generation of yet further specialized code.This paper presents an overview of the language, with several examples of programs that illustrate key concepts and programming techniques. Then, it discusses the CCAM and the compilation of ML' programs into CCAM code. Finally, the results of some experiments are shown, to demonstrate the benefits of this style of run-time code generation for some applications.}, address = {New York, NY, USA}, author = {Wickline, Philip and Lee, Peter and Pfenning, Frank}, booktitle = {PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation}, citeulike-article-id = {117721}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=277727}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/277650.277727}, comment = {PLDIr\#2で読んだ。}, doi = {10.1145/277650.277727}, isbn = {0-89791-987-4}, issn = {0362-1340}, keywords = {modal-logic, specialization, stage-calculus}, location = {Montreal, Quebec, Canada}, month = {May}, number = {5}, pages = {224--235}, posted-at = {2009-11-06 00:00:41}, priority = {0}, publisher = {ACM}, title = {Run-time code generation and modal-ML}, url = {http://dx.doi.org/10.1145/277650.277727}, volume = {33}, year = {1998} }

TY - CONF ID - citeulike:117721 L3 - citeulike-article-id:117721 N2 - This paper presents a typed programming language and compiler for run-time code generation. The language, called ML', extends ML with modal operators in the style of the Mini-ML' e language of Davies and Pfenning. ML' allows programmers to use types to specify precisely the stages of computation in a program. The types also guide the compiler in generating target code that exploits the staging information through the use of run-time code generation. The target machine is currently a version of the Categorical Abstract Machine, called the CCAM, which we have extended with facilities for run-time code generation.This approach allows the programmer to express the staging that he wants directly to the compiler. 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 code can be used in the generation of yet further specialized code.This paper presents an overview of the language, with several examples of programs that illustrate key concepts and programming techniques. Then, it discusses the CCAM and the compilation of ML' programs into CCAM code. Finally, the results of some experiments are shown, to demonstrate the benefits of this style of run-time code generation for some applications. CY - Montreal, Quebec, Canada IS - 5 SN - 0-89791-987-4 AD - New York, NY, USA EP - 235 TI - Run-time code generation and modal-ML PB - ACM VL - 33 T2 - PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation SP - 224 KW - modal-logic KW - specialization KW - stage-calculus N1 - PLDIr#2で読んだ。 AU - Wickline, Philip AU - Lee, Peter AU - Pfenning, Frank PY - 1998/05// UR - http://dx.doi.org/10.1145/277650.277727 ER -