GHC — A language for a new age of parallel programming

Koichi Furukawa, Kazunori Ueda

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationFoundations of Software Technology and Theoretical Computer Science - 8th Conference, Proceedings
EditorsKesav V. Nori, Sanjeev Kumar
PublisherSpringer Verlag
Pages364-376
Number of pages13
ISBN (Print)9783540505174
DOIs
Publication statusPublished - 1988 Jan 1
Externally publishedYes
Event8th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST and TCS 1988 - Pune, India
Duration: 1988 Dec 211988 Dec 23

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume338 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'GHC — A language for a new age of parallel programming'. Together they form a unique fingerprint.

  • Cite this

    Furukawa, K., & Ueda, K. (1988). GHC — A language for a new age of parallel programming. In K. V. Nori, & S. Kumar (Eds.), Foundations of Software Technology and Theoretical Computer Science - 8th Conference, Proceedings (pp. 364-376). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 338 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-50517-2_91