再帰呼び出しを持つC言語サブセットからMalbolgeヘのコンパイラ

• Item type: SIG Technical Reports(1)
• 公開日: 2017-07-12
• タイトル: 再帰呼び出しを持つC言語サブセットからMalbolgeヘのコンパイラ
• タイトル / 言語: en
• タイトル: A compiler that translates to Malbolge from a C-language subset containing recursive calls
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 名古屋大学大学院情報学研究科
• 著者所属: 株式会社トヨタケーラム／名古屋大学大学院情報科学研究科
• 著者所属: 名古屋大学大学院情報学研究科
• 著者所属: 名古屋大学大学院情報学研究科
• 著者所属: 名古屋大学大学院情報学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Informatics, Nagoya University
• 著者所属(英): en
• 著者所属(英): / Graduate School of Information Science, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Informatics, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Informatics, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Informatics, Nagoya University
• 著者名: 坂梨, 元軌; 河邉, 翔平; 酒井, 正彦; 西田, 直樹; 橋本, 健二
• 著者名(英): Genki, Sakanashi; Shohei, Kobe; Masahiko, Sakai; Naoki, Nishida; Kenji, Hashimoto
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 難読プログラミング言語 Malbolge は，その解析困難性により知的財産権の保護などに役立つと考えられているが，命令が特殊であるためプログラムの作成は非常に困難である．そのため，Malbolge プログラムを生成するための中間言語として制御付き疑似命令列が提案されているが，C などの通常の言語と比較すると依然としてプログラミングが困難である．本稿では，整数型と真偽型を扱え，while 文などの基本的な制御構造と再帰関数を定義できる C 言語のサブセットのプログラムから Malbolge コードへのコンパイラの実現法を述べる．コンパイラの実現のために，まず，既存の制御付き疑似命令列に配列構文と関数構文を追加し，それにあわせて既存の制御付き疑似命令列から Malbolge への変換系を拡張する．さらに C 言語のサプセットから制御付き疑似命令列へ変換する方法を提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Malbolge is an esoteric programming language, which is promising to protect intellectual property rights due to its difficulty of analysis. It is, however, very difficult to program because of its peculiar instructions. Tackling this problem, pseudo-instruction sequences was developed as an intermediate language for generating Malbolge programs. Nevertheless it is still difficult to program compared with ordinary languages like C. In this article, we present how to implement a compiler that translates to Malbolge from a C-language subset containing the integer type, the Boolean type, basic control structures such as while statement, and recursive calls. In the implementation, we firstly added array syntax and function syntax to pseudo-instruction sequences, and strengthen existing tools for the extention to conform with it. We next propose a translation method from C-language subset to pseudo-instruction sequences.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2017-SE-196, 号 24, p. 1-6, 発行日 2017-07-12
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8825
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会