Deriving a compilation method for parallel logic languages

Youji Kohda, Jiro Tanaka

研究成果: Conference contribution

抄録

It is already known that a Concurrent Prolog program can be compiled into an equivalent Prolog program. Using a Concurrent Prolog interpreter written in Prolog, we converted Concurrent Prolog programs step by step to compiled codes in Prolog. Each conversion step was successfully executed on a Prolog language processor. We examined how each conversion step contributed to performance improvement, using sample Concurrent Prolog programs such as a meta interpreter.

本文言語English
ホスト出版物のタイトルLogic Programming 1987 - Proceedings of the 6th Conference
編集者Hozumi Tanaka, Koichi Furukawa, Tetsunosuke Fujisaki
出版社Springer Verlag
ページ80-94
ページ数15
ISBN(印刷版)9783540194262
DOI
出版ステータスPublished - 1988
外部発表はい
イベント6th Conference on Logic Programming, 1987 - Tokyo, Japan
継続期間: 1987 6月 221987 6月 24

出版物シリーズ

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

Other

Other6th Conference on Logic Programming, 1987
国/地域Japan
CityTokyo
Period87/6/2287/6/24

ASJC Scopus subject areas

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

フィンガープリント

「Deriving a compilation method for parallel logic languages」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル