GHC — A language for a new age of parallel programming

Koichi Furukawa; Kazunori Ueda

doi:10.1007/3-540-50517-2_91

GHC — A language for a new age of parallel programming

Koichi Furukawa, Kazunori Ueda

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Foundations of Software Technology and Theoretical Computer Science - 8th Conference, Proceedings
Editors	Kesav V. Nori, Sanjeev Kumar
Publisher	Springer Verlag
Pages	364-376
Number of pages	13
ISBN (Print)	9783540505174
DOIs	https://doi.org/10.1007/3-540-50517-2_91
Publication status	Published - 1988
Externally published	Yes
Event	8th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST and TCS 1988 - Pune, India Duration: 1988 Dec 21 → 1988 Dec 23

Publication series

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

Other

Other	8th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST and TCS 1988
Country/Territory	India
City	Pune
Period	88/12/21 → 88/12/23

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/3-540-50517-2_91

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

GHC — A language for a new age of parallel programming. / Furukawa, Koichi; Ueda, Kazunori.
Foundations of Software Technology and Theoretical Computer Science - 8th Conference, Proceedings. ed. / Kesav V. Nori; Sanjeev Kumar. Springer Verlag, 1988. p. 364-376 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 338 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Furukawa, K & Ueda, K 1988, GHC — A language for a new age of parallel programming. in KV Nori & S Kumar (eds), Foundations of Software Technology and Theoretical Computer Science - 8th Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 338 LNCS, Springer Verlag, pp. 364-376, 8th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST and TCS 1988, Pune, India, 88/12/21. https://doi.org/10.1007/3-540-50517-2_91

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

Furukawa, Koichi ; Ueda, Kazunori. / GHC — A language for a new age of parallel programming. Foundations of Software Technology and Theoretical Computer Science - 8th Conference, Proceedings. editor / Kesav V. Nori ; Sanjeev Kumar. Springer Verlag, 1988. pp. 364-376 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{5f5a991ecc7f4028992af8680c530828,

title = "GHC — A language for a new age of parallel programming",

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.",

author = "Koichi Furukawa and Kazunori Ueda",

note = "Publisher Copyright: {\textcopyright} 1988, Springer-Verlag.; 8th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST and TCS 1988 ; Conference date: 21-12-1988 Through 23-12-1988",

year = "1988",

doi = "10.1007/3-540-50517-2_91",

language = "English",

isbn = "9783540505174",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "364--376",

editor = "Nori, {Kesav V.} and Sanjeev Kumar",

booktitle = "Foundations of Software Technology and Theoretical Computer Science - 8th Conference, Proceedings",

}

TY - GEN

T1 - GHC — A language for a new age of parallel programming

AU - Furukawa, Koichi

AU - Ueda, Kazunori

PY - 1988

Y1 - 1988

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0346554537&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0346554537&partnerID=8YFLogxK

U2 - 10.1007/3-540-50517-2_91

DO - 10.1007/3-540-50517-2_91

M3 - Conference contribution

AN - SCOPUS:0346554537

SN - 9783540505174

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 364

EP - 376

BT - Foundations of Software Technology and Theoretical Computer Science - 8th Conference, Proceedings

A2 - Nori, Kesav V.

A2 - Kumar, Sanjeev

PB - Springer Verlag

T2 - 8th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST and TCS 1988

Y2 - 21 December 1988 through 23 December 1988

ER -

GHC — A language for a new age of parallel programming

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this