田村 直之

論文一覧:  1件中 1-1 を表示

  • 時相線形論理型言語のコンパイラ処理系のための抽象機械について

    番原 睦則 , 姜京順 , 田村 直之

    線形論理に基づく論理型言語については,過去10 年間にわたり数多くの言語が提案されている.これらの言語では,リソース(使用回数を制限されたプログラム節)を動的に追加,消費(使用)することが可能である.しかしながら,「リソースを消費する際の時間的順序を正確に記述する」というようなリソースの時間に依存した性質を表現することは困難であった.本稿では,直観主義時相線形論理に基づく論理型言語TLLP の概要 …

    情報処理学会論文誌プログラミング(PRO) 42(SIG11(PRO12)), 52-66, 2001-11-15

    情報処理学会

ページトップへ