@techreport{oai:ipsj.ixsq.nii.ac.jp:00240670,
 author = {山崎, 進},
 issue = {12},
 month = {Nov},
 note = {現在，主流となっている GCC や Clang とは異なる C 言語処理系を，現代においてわざわざ新たに実装することが，今後の組込みシステム研究にもたらす価値は，少なくとも次のような研究の基礎を提供することであると考察した: (1) 組込みシステム向けのメモリ一貫性モデルと過剰なコード最適化の抑制 (2) 形式手法をCコードに適用する研究 (3) コード最適化の等価性保証の研究 (4) サイドチャネル攻撃耐性を備えたコード生成器の研究．今後，このような研究のインフラストラクチャとなることを意図した C 言語処理系を独自に開発することを検討する．, The value brought to the research of embedded systems by implementing a brand new processing system for the C programming language instead of GCC and Clang, the current mainstream systems, is to provide the following research basis: (1) a memory consistency model for embedded systems and suppression of excessive optimization; (2) the research that formal methods apply C code; (3) the research to ensure equivalency of code optimization; and (4) the research of code generator that has immunity to side-channel channel attacks. In the future, we will consider developing such a system as the infrastructure for the research.},
 title = {新規のC言語処理系を実装することによる組込みシステム研究にもたらす価値についての考察},
 year = {2024}
}