参考文献
- 1 2 Click, Clifford Noel, Jr. (1995 年 2 月).分析の組み合わせ、最適化の組み合わせ(博士論文). テキサス州ヒューストン: ライス大学. OCLC 1031097124 . UMI Microform 9610626. ProQuest 304234279 .
{{cite thesis}}: CS1 maint: 複数の名前: 著者リスト (リンク) - 1 2 Click, Cliff (1995年6月) 「グローバルコード移動/グローバル値番号付け」 ACM SIGPLAN 1995 プログラミング言語設計と実装に関する会議議事録PLDI '95 。Association for Computing Machinery。pp. 246–257。doi : 10.1145/207110.207154。ISBN 978-0-89791-697-4. S2CID 14257734 .
- 1 2 Weaver, Glen (1995 年 11 月).異種処理のためのコンパイラ表現(PDF) (レポート). マサチューセッツ州アマースト: マサチューセッツ大学コンピュータサイエンス学部. CMPSCI テクニカル レポート 95-102. ACM デジタルライブラリ897299. CiteSeerX 1728d25c087985261db87bbd892a1aa945ae562a .
- ↑ Indutny, Fedor (2015年10月8日). "Sea of Nodes" . Compilers. Fedor Indutny's Blog . d.sea-of-nodes.md in indutny/blog.ng on GitHub . 2023年10月20日のオリジナルからアーカイブ済み。 2023年12月7日取得。
- 1 2 3 4 Demange, Delphine; Fernández de Retana, Yon; Pichardie, David (2018年2月24日). 「ノードの海に関する意味論的推論」 .第27回国際コンパイラ構築会議議事録(PDF) . Vol. CC 2018 (第27回会議). ニューヨーク州ニューヨーク、米国: Association for Computing Machinery. pp. 163–173. doi : 10.1145 /3178372.3179503 . ISBN 978-1-4503-5644-2. S2CID 3390229 .
- ↑ Lemerre, Matthieu (2023年1月11日)。 「SSA翻訳は抽象解釈である」(PDF)。ACMプログラミング言語に関する論文集。POPL。7 (65): 1895–1924。doi : 10.1145/3571258。S2CID 254566327 – BINSEC開発チーム経由、GitHub 。
- ↑ Hayes, Ian J.; Utting, Mark; Webb, Brae J. (2023年11月21～24日). "コンパイラ最適化の検証" (招待論文) . Li, Yi; Tahar, Sofiène (編). Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023; Brisbane, QLD, Australia, November 21–24, 2023; Proceedings . Lecture Notes in Computer Science. Vol. 14308. Springer Nature. pp. 3– 8. doi : 10.1007/978-981-99-7584-6_1 . ISBN 978-981-99-7584-6抄録はACMデジタルライブラリからも入手可能です。
- 1 2 Webb, Brae J.; Utting, Mark; Hayes, Ian J. (2021年7月5日). "GraalVM中間表現の形式意味論". Automated Technology for Verification and Analysis . Lecture Notes in Computer Science. Vol. 12971. pp. 111–126 . arXiv : 2107.01815 . doi : 10.1007/978-3-030-88885-5_8 . ISBN 978-3-030-88884-8. S2CID 235732254 .
- 1 2 「分析の組み合わせ、最適化の組み合わせ - 要約」。2010年8月3日。2023年5月23日にオリジナルからアーカイブ済み。2023年12月7日に取得。
- 1 2 Titzer, Ben L. (2015年7月13日). "TurboFan JIT の掘り下げ: より高度な最適化" . Internals. V8 JavaScript エンジン [ブログ] . 2023年5月24日のオリジナルからアーカイブ済み。 2023年12月7日取得。
- ↑ Seaton, Chris (2020年11月17日). 「Graal IRの理解」（招待講演） .第12回ACM SIGPLAN国際仮想マシンおよび中間言語ワークショップ（VMIL '20）議事録. ニューヨーク州ニューヨーク、米国：Association for Computing Machinery. p. 3. doi : 10.1145/3427765.3432354 . ISBN 978-1-4503-8190-1. S2CID 227154653 .
- ↑ Mercadier, Darius (2025年3月25日). "陸地が見えた: ノードの海を抜ける" . JavaScript; 内部構造。V8 JavaScript エンジン [ブログ] . 2025年5月1日のオリジナルからアーカイブ済み。 2025年5月17日取得。
さらに読む
- Click, Cliff ; Paleczny, Michael (1995年1月22日). 「単純なグラフベースの中間表現」。米国カリフォルニア州サンフランシスコにて執筆。IR '95: 1995年ACM SIGPLAN中間表現ワークショップ論文集。POPL95 :第22回ACMプログラミング言語原理シンポジウム。米国ニューヨーク州ニューヨーク: Association for Computing Machinery (1995年3月1日発行)。pp. 35–49。doi : 10.1145 / 202529.202534。ISBN 978-0-89791-754-4。
