概念制約式を用いたプログラミングを可能にするコンパイル手法

書誌事項

タイトル別名
  • A Compile Method which enables Programming with Concept Qualifier Expression

この論文をさがす

抄録

知識モジュールやシステムが状況変化に対して柔軟に適応できるかどうかという、柔らかさと呼ばれる概念が注目を集めはじめている。我々はプログラムを柔らかく記述する方法として概念制約式と呼ぷプログラム記述要素を提案している。本稿では概念制約式を用いて表現されたプログラムから実行可能なプログラムを生成するコンパイル手法について述べる。

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ