Evaluating Portable Mechanisms for Legitimate Execution Stack Access with a Scheme Interpreter in an Extended SC Language
-
- Yasugi Masahiro
- Department of Artificial Intelligence, Kyushu Institute of Technology
-
- Ikeuchi Reichi
- Department of Artificial Intelligence, Kyushu Institute of Technology
-
- Hiraishi Tasuku
- Academic Center for Computing and Media Studies, Kyoto University
-
- Komiya Tsuneyasu
- Graduate School of Informatics and Engineering, The University of Electro-Communication
この論文をさがす
説明
<p>Scheme implementations should be properly tail-recursive and support garbage collection. To reduce the development costs, a Scheme interpreter called JAKLD, which is written in Java, was designed to use execution stacks simply. JAKLD with interchangeable garbage collectors was reimplemented in C. In addition, we have proposed an efficient C-based implementation written in an extended C language called XC-cube, which features language mechanisms for implementing high-level programming languages such as “L-closures” for legitimate execution stack access, with which a running program/process can legitimately access data deeply in execution stacks (C stacks). L-closures are lightweight lexical closures created from nested function definitions. In addition to enhanced C compilers, we have portable implementations of L-closures, which are translators from an extended S-expression based C language into the standard C language. Furthermore, we have another mechanism for legitimate execution stack access, called “closures”. Closures are standard lexical closures created from nested function definitions. Closures can also be implemented using translators. In this study, JAKLD was reimplemented in an extended SC language (S-expression based C language) that features nested functions to evaluate (L-)closures and their implementations, including translators.</p>
収録刊行物
-
- Journal of Information Processing
-
Journal of Information Processing 27 (0), 177-189, 2019
一般社団法人 情報処理学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390282763100188800
-
- NII論文ID
- 130007594656
-
- NII書誌ID
- AA00700121
-
- ISSN
- 18826652
-
- HANDLE
- 10228/00007092
-
- 本文言語コード
- en
-
- データソース種別
-
- JaLC
- IRDB
- Crossref
- CiNii Articles
- KAKEN
- OpenAIRE
-
- 抄録ライセンスフラグ
- 使用不可