文献
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)