研課題
J-GLOBAL ID:202104020950593348  研究課題コード:7700000665

プログラムのメタレベルを表現・操作する言語機構

体系的課題番号:JPMJPR01P3
実施期間:2001 - 2004
実施機関 (1件):
研究代表者: ( , 電子・情報工学系, 助教授 )
DOI: https://doi.org/10.52926/JPMJPR01P3
研究概要:
プログラム実行時の環境や継続(コントロール)など、通常はメタレベルにあって直接操作可能でない概念を、プログラムの中から直接表現・操作する機構を導入することにより、プログラム言語の表現力が飛躍的に向上します。本研究では、このような言語機構を利用したプログラムに高い信頼性を与えることを目的として、厳密な推論を行うための意味論および論理を構築します。
タイトルに関連する用語 (2件):
タイトルに関連する用語
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
研究制度:
上位研究課題: 機能と構成
研究所管機関:
国立研究開発法人科学技術振興機構
報告書等:

前のページに戻る