Maude:書換え論理に基づく計算機言語および処理系

DOI
  • 緒方 和博
    北陸先端科学技術大学院大学情報科学研究科
  • 中村 正樹
    北陸先端科学技術大学院大学情報科学研究科
  • 二木 厚吉
    北陸先端科学技術大学院大学情報科学研究科

書誌事項

タイトル別名
  • Maude: A Computer Language based on Rewriting Logic and its Implementation

収録刊行物

詳細情報

  • CRID
    1390282679715372672
  • NII論文ID
    130004549110
  • DOI
    10.11309/jssst.25.2_78
  • ISSN
    02896540
  • 本文言語コード
    ja
  • データソース種別
    • JaLC
    • CiNii Articles

問題の指摘

ページトップへ