Proj
J-GLOBAL ID：202104015164705600
Research Project code：7700000660
理論領域と実用領域を結ぶ新しいプログラミング単位
理論領域と実用領域を結ぶ新しいプログラミング単位
National award number：JPMJPR00P4
Study period：2000 - 2003
Organization (1)：
Principal investigator：
(
, 工学部, 助教授 )
DOI：
https://doi.org/10.52926/JPMJPR00P4
Research overview：
コンピュータ分野では理論領域と実用領域とに大きな乖離があり、命令・関数などのプログラミング単位の差が大きいことに起因しています。本研究では、アセンブラレベル言語とJavaやC++等の高級言語との中間にあたる新しいプログラミング単位を設定し、ハードウェア領域での検証技術を実用的なプログラミングに応用するための段階的な抽象化の手法として利用します。この単位をプログラミング言語として設計・実装し、検証手法を展開します。
Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
,
Research program：
＞
＞
Parent Research Project：
機能と構成
Organization with control over the research：
Japan Science and Technology Agency
