文献

J-GLOBAL ID：201902268014884266   整理番号：19A2825581

多段階プログラミングのための意味論の洗練【JST・京大機械翻訳】

Refining semantics for multi-stage programming

著者 (2件)： Ge Rui (Department of Computer Science, University of British Columbia, 201-2366 Main Mall, Vancouver, BC V6T 1Z4, Canada) ,  Garcia Ronald (Department of Computer Science, University of British Columbia, 201-2366 Main Mall, Vancouver, BC V6T 1Z4, Canada)
資料名： Journal of Computer Languages  (Journal of Computer Languages)
巻： 51  ページ： 222-240  発行年： 2019年 
JST資料番号： W0216A  ISSN： 2590-1184  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 多段階プログラミングパラダイムは,実行時間コード生成と実行をサポートする。強力ではあるが,その可能性は静的解析支援の欠如によって妨げられている。van HornとMightは,環境抽象機を変換することにより,静的解析を体系的に開発するための汎用手法を提案した。これは,制御ストリング,環境,および継続をプログラム評価として進化させる。著者らの知る限りでは,そのような意味論はMetaMLのような多段階言語に対して存在しない。著者らは,参照置換型自然意味論を徐々に洗練することによって,MetaMLのための環境抽象的機械意味論を開発して証明した。著者らのアプローチのハイライトは,(1)一段言語ISWIMをCEK様マシンに段階的に洗練し,同じ性質のメタMLへの変換を管理する,(2)置換型と環境意味間のギャップを橋渡しするための明示的置換,(3)多段階環境意味論における可変結合の複雑さをモデル化するための環境連鎖を考案する。Copyright 2019 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *意味論 ,  モデリング ,  コード生成 ,  言語
準シソーラス用語： ハイライト ,  抽象機械 ,  静的解析 ,  実行時間 , 【Automatic Indexing@JST】

著者キーワード (4件)： 多段階プログラミング ,  抽象機械意味論 ,  明示的置換 ,  環境チェーン

分類 (2件)： 図形・画像処理一般  (JE04010I) ,  人間機械系  (IB03000G)

タイトルに関連する用語 (3件)： 段階 ,  プログラミング ,  意味論