研課題
J-GLOBAL ID：202104015164705600
研究課題コード：7700000660
理論領域と実用領域を結ぶ新しいプログラミング単位
体系的課題番号：JPMJPR00P4
実施期間：2000 - 2003
実施機関 (1件)：
研究代表者：
(
, 工学部, 助教授 )
DOI：
https://doi.org/10.52926/JPMJPR00P4
研究概要：
コンピュータ分野では理論領域と実用領域とに大きな乖離があり、命令・関数などのプログラミング単位の差が大きいことに起因しています。本研究では、アセンブラレベル言語とJavaやC++等の高級言語との中間にあたる新しいプログラミング単位を設定し、ハードウェア領域での検証技術を実用的なプログラミングに応用するための段階的な抽象化の手法として利用します。この単位をプログラミング言語として設計・実装し、検証手法を展開します。
タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
,
研究制度：
＞
＞
上位研究課題：
機能と構成
研究所管機関：
報告書等：
前のページに戻る
