文献

J-GLOBAL ID：201902262747977972   整理番号：19A1696400

拡張SC言語のスキームインタープリターを使用した正当な実行スタックアクセスのためのポータブルメカニズムの評価

Evaluating Portable Mechanisms for Legitimate Execution Stack Access with a Scheme Interpreter in an Extended SC Language

著者 (4件)： 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)
資料名： Journal of Information Processing (Web)  (Journal of Information Processing (Web))
巻： 27  ページ： 177-189(J-STAGE)  発行年： 2019年 
JST資料番号： U0109A  ISSN： 1882-6652  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： スキームの実装は,適切に末尾再帰し,ガーベジコレクションをサポートする必要がある。開発コストを削減するために,Java記述されたJAKLDと呼ばれるスキームインタープリターを,単純に実行スタックを使用するように設計した。交換可能なガーベジコレクションを備えたJAKLDを,Cで再実装した。さらに,XC-cubeと呼ばれる拡張C言語で記述された効率的なCベースの実装を提案したが,これは,正当な実行スタックアクセス用の「L-closures」などの高レベルプログラミング言語を実装するための言語メカニズムを備えており,実行中のプログラム/プロセスは,実行スタック(Cスタック)のデータに正当に深くアクセスできる。「L-クロージャ」は,ネストされた関数定義から作成された軽量の語彙クロージャである。拡張されたCコンパイラに加えて,拡張されたS式ベースのC言語から標準C言語へのトランスレータである「L-クロージャ」の移植可能な実装を行った。さらに,「クロージャ」と呼ばれる,正当な実行スタックアクセスのための別のメカニズムを評価した。クロージャは,ネストされた関数定義から作成された標準の字句クロージャである。クロージャは,トランスレータを使用して実装することもできる。本研究は,JAKLDは拡張SC言語(S式ベースのC言語)で再実装され,ネストされた関数を使用して(L-)クロージャとその実装(トランスレータを含む)を評価した。(翻訳著者抄録)

シソーラス用語： *計画 ,  *インタプリタ ,  *スタック方式 ,  *携帯型 ,  *拡大 ,  アルゴリズム ,  ガーベジコレクション ,  仕様記述 ,  プログラミング言語 ,  プログラム変換 ,  クロージャ ,  Java記述 ,  再帰アルゴリズム
準シソーラス用語： *スキーム ,  トランスレータ【ソフトウェア】 ,  *ポータブル ,  *言語拡張

著者キーワード (5件)： インタプリタ ,  適切な尾部再帰 ,  実行スタック ,  クロージャ ,  変換

分類 (3件)： システムプログラミング一般  (JD03010Y) ,  応用プログラミング言語  (JD03052Y) ,  計算理論  (JB02000A)

引用文献 (20件)：

• [1] Revised⁷ Report on the Algorithmic Language Scheme (2013), available from <http://www.r7rs.org/>.
• [2] Baker, H.G.: CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A., ACM SIGPLAN Notices, Vol.30, pp.17-20 (1995).
• [3] Breuel, T.M.: Lexical Closure for C++, Proc. USENIX C++ Conference, pp.293-304 (1988).
• [4] Clinger, W.D.: Proper Tail Recursion and Space Efficiency, Proc. ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation (PLDI '98), pp.174-185 (1998).
• [5] Danvy, O. and Filinski, A.: Abstracting Control, Proc. 1990 ACM Conference on LISP and Functional Programming, pp.151-160 (online), DOI: 10.1145/91556.91622 (1990).

タイトルに関連する用語 (9件)： 拡張 ,  Sc ,  言語 ,  スキーム ,  インタープリター ,  スタック ,  ポータブル ,  メカニズム ,  評価