Art

J-GLOBAL ID：201902262747977972   Reference number：19A1696400

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

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

Author (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)
Material： Journal of Information Processing (Web)  (J Inf Proc (Web))
Volume： 27  Page： 177-189(J-STAGE)  Publication year： 2019 
JST Material Number： U0109A  ISSN： 1882-6652  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *plan ,  *interpreter ,  *stack system ,  *hand-held type ,  *extension ,  algorithm ,  garbage collection ,  specification description ,  programming language ,  program transformation ,  closure (package) ,  Java description ,  recursive algorithm
Semi thesaurus term： *scheme ,  translator ,  *portable ,  *language extensions

Author keywords (5)： interpreters ,  proper tail recursion ,  execution stacks ,  closures ,  transformation

JST classification (3)： System programmings in general  (JD03010Y) ,  Applied programming languages  (JD03052Y) ,  Theory of computation  (JB02000A)

Reference (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).

Terms in the title (9)： 拡張 ,  Sc ,  言語 ,  スキーム ,  インタープリター ,  スタック ,  ポータブル ,  メカニズム ,  評価