文献

J-GLOBAL ID：200902171065228891   整理番号：01A0225399

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

著者 (3件)： 番原睦則 (奈良工高専) ,  田村直之 (神戸大 工) ,  KANG K-S (Pusan Univ. Foreign Studies)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 18  号： 1  ページ： 39-60  発行年： 2001年01月15日 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： レベル付きIOモデルのリソース管理方式に基づいて,線形論理型...

シソーラス用語： *コンパイラ ,...
準シソーラス用語： 抽象機械 ,...

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

分類 (1件)： 言語プロセッサ  (JD03040F)

引用文献 (29件)：

• AIT-KACI, H. Warren's Abstract Machine. 1991
• ANDREOLI, J. -M. Linear Objects: Logical Proceses with Built-In Inheritance. New Generation Computing. 1991, 9, 445-473
• BANBARA, M. Compiling Resources in a Linear Logic Programming Language. Proceedings of Post-JICSLP'98 Worlshop on Parallelism and Implentation Technology for Logic Programming Languages. 1998, 32-45
• BANBARA, M. Translating a Linear Logic Programming Language into Java. Proceedings of ICLP'99 Worlshop on Parallelism and Implentation Technology for (Constraint) Logic Programming Languages. 1999, 19-39
• BRATKO, I. Prolog programming for artificial in telligence. 1986

タイトルに関連する用語 (4件)： 線形 ,  論理型言語 ,  コンパイラ ,  抽象機械