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

• 番原 睦則 番原 睦則

  奈良工業高等専門学校

• 姜 京順

  釜山外国語大学校(韓国)コンピュータ電子工学部 コンピュータ工学科

• 田村 直之

  神戸大学工学部情報知能工学科

書誌事項

タイトル別名

• An Abstract Machine for a Compiler System of a Linear Logic Programming Language
• センケイ ロンリガタ ゲンゴ ノ コンパイラ ショリケイ ノ タメ ノ チュウショウ キカイ ニ ツイテ

収録刊行物

• コンピュータ ソフトウェア

  コンピュータ ソフトウェア 18 (1), 195-216, 2001

  日本ソフトウェア科学会

詳細情報

• CRID: 1390282679713211008
• NII論文ID: 130004548945
• NII論文ID: 110003744069
• NII論文ID: 10011734268
• NII書誌ID: AN10075819
• DOI: 10.11309/jssst.18.195
• NDL書誌ID: 5639598
• ISSN: 02896540
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I5639598
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles