GHC — A language for a new age of parallel programming

Koichi Furukawa, Kazunori Ueda

研究成果: Conference contribution

3 被引用数 (Scopus)

抄録

A parallel logic programming language GHC, proposed by Ueda (1985), is now playing a very important role in the Fifth Generation Computer Project. It is a successor of Relational Language (Clark and Gregory 1981), Concurrent Prolog (Shapiro 1983) and Parlog (Clark and Gregory 1984). Since GHC is totally based on parallelism, it provides a genuine tool for parallel programming. It encourages programmers to write parallel algorithms and therefore gives a foundation of parallel programming. We have also developed a program transformation technique for GHC programs which preserves the external behaviour of the original programs. To show the validity of the transformation technique, we have developed a formal semantics of possibly non-terminating GHC programs. The highly parallel prototype hardware of our project is now being developed to support the efficient execution of GHC programs.

本文言語English
ホスト出版物のタイトルFoundations of Software Technology and Theoretical Computer Science - 8th Conference, Proceedings
編集者Kesav V. Nori, Sanjeev Kumar
出版社Springer Verlag
ページ364-376
ページ数13
ISBN(印刷版)9783540505174
DOI
出版ステータスPublished - 1988 1 1
外部発表はい
イベント8th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST and TCS 1988 - Pune, India
継続期間: 1988 12 211988 12 23

出版物シリーズ

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

Other

Other8th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST and TCS 1988
国/地域India
CityPune
Period88/12/2188/12/23

ASJC Scopus subject areas

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

フィンガープリント

「GHC — A language for a new age of parallel programming」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル