Deeply reifying running code for constructing a domain-specific language

Shigeru Chiba, Yungyu Zhuang, Maximilian Scherr

研究成果: 書貢獻/報告類型會議論文篇章同行評審

3 引文 斯高帕斯(Scopus)

摘要

This paper presents deep reification, which is a language mechanism for reflective computing. It reifles a self-contained partial snapshot of the current execution environment. The snapshot contains not only data but also code and type definitions. This mechanism can be used as a common component of execution systems of embedded domain-specific languages (DSLs). Unlike typical implementations of embedded DSLs, the mechanism enables a DSL to borrow the host-language's syntax yet execute under a different semantics on different platforms from the host language's. DSL implementation can allow programmers to first construct a function closure as DSL code, reify a snapshot necessary for executing the function closure, transform the code in the snapshot into a program for a target platform, and finally execute the program. As a prototype system of deep reification, we have implemented Bytespresso for Java. This paper shows Bytespresso and also Bytespresso-C, our DSL built on top of Bytespresso. The target of this DSL is numerical computing on cluster computers and GPUs.

原文???core.languages.en_GB???
主出版物標題Proceedings of the 2016 International Conference on Principles and Practices of Programming on the Java Platform
主出版物子標題Virtual Machines, Languages, and Tools, PPPJ 2016
發行者Association for Computing Machinery
ISBN(電子)9781450341356
DOIs
出版狀態已出版 - 2016
事件13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, PPPJ 2016 - Lugano, Switzerland
持續時間: 29 8月 201631 8月 2016

出版系列

名字ACM International Conference Proceeding Series
Part F128404

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, PPPJ 2016
國家/地區Switzerland
城市Lugano
期間29/08/1631/08/16

指紋

深入研究「Deeply reifying running code for constructing a domain-specific language」主題。共同形成了獨特的指紋。

引用此