文献

J-GLOBAL ID：202002268897482992   整理番号：20A1818918

可逆プログラムは可逆意味論を持つ【JST・京大機械翻訳】

Reversible Programs Have Reversible Semantics

著者 (3件)： Glueck Robert (DIKU, Department of Computer Science, University of Copenhagen, Copenhagen, Denmark) ,  Kaarsgaard Robin (DIKU, Department of Computer Science, University of Copenhagen, Copenhagen, Denmark) ,  Yokoyama Tetsuo (Department of Software Engineering, Nanzan University, Nagoya, Japan)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12233  ページ： 413-427  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 過去10年間,可逆プログラミング言語は,様々な確立された意味フレームワークを用いて定式化されている。しかし,これらの意味論はメタレベルで可逆言語の異なる特性を効果的に指定できず,定義された言語が可逆的であるかどうかの中心的疑問を無視する。本論文では,集合と部分注入関数のカテゴリーに基づく可逆言語のための金属言語基礎を構築した。このアプローチを,再帰的手順による完全可逆のr-Turing完全可逆のステップバイステップ開発を通して例証した。これは,言語の可逆性とその逆意味論が即時であり,言語で書かれたプログラムの反転という意味の形式化をもたらす。さらに,可逆意味論に対する応用と将来の研究方向を論じた。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *意味論 ,  言語 ,  プログラミング言語 ,  定式化 ,  可逆性

分類 (2件)： 汎用プログラミング言語  (JD03051H) ,  計算理論  (JB02000A)

タイトルに関連する用語 (1件)： 意味論