A prototype software simulator for FGHC

Y. Ohara, S. Torii, E. Ono, M. Kishishita, J. Tanaka, T. Miyazaki

研究成果: Conference contribution

1 被引用数 (Scopus)

抄録

We have implemented a prototype software simulator for FGHC: Flat Guarded Horn Clauses, This simulator executes a pre-processed FGHC program in a distributed environment. In this paper, we describe the distributed computation model and its prototype software simulator. The evaluation results of sample programs using the simulator are also presented.

本文言語English
ホスト出版物のタイトルLogic Programming 1986 - Proceedings of the 5th Conference
編集者Eiiti Wada
出版社Springer Verlag
ページ46-57
ページ数12
ISBN(印刷版)9783540180241
DOI
出版ステータスPublished - 1987
外部発表はい
イベント5th Conference on Logic Programming, 1986 - Tokyo, Japan
継続期間: 1986 6月 231986 6月 26

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
264 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Conference

Conference5th Conference on Logic Programming, 1986
国/地域Japan
CityTokyo
Period86/6/2386/6/26

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「A prototype software simulator for FGHC」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル