文献

J-GLOBAL ID：200902135556782401   整理番号：00A0319368

項書換え抽象機械TRAMの設計と実装

TRAM: Design and Implementation of Term Rewriting Abstract Machine.

著者 (3件)： 五百蔵重典 (北陸先端科学技術大学院大) ,  緒方和博 (北陸先端科学技術大学院大) ,  二木厚吉 (北陸先端科学技術大学院大)
資料名： 電子情報通信学会論文誌 D-1  (IEICE Transactions on Information and Systems, Pt.1 (Japanese Edition))
巻： J83-D-1  号： 2  ページ： 255-263  発行年： 2000年02月25日 
JST資料番号： S0757B  ISSN： 0915-1915  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 実行可能な代数仕様言語を用いて仕様を記述すると,検証の(半)...

シソーラス用語： *項書換え系 ,...
準シソーラス用語： 抽象機械 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=00A0319368&from=J-GLOBAL&jstjournalNo=S0757B") }}

分類 (2件)： 言語プロセッサ  (JD03040F) ,  計算理論  (JB02000A)

タイトルに関連する用語 (4件)： 項書換え ,  抽象機械 ,  設計 ,  実装