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

Fingerprint

Parallel programming
Parallel Programming
Logic programming
Parallel algorithms
Computer programming languages
Program Transformation
Formal Semantics
Prolog
Logic Programming
Semantics
Parallel Algorithms
Parallelism
Programming Languages
Hardware
Concurrent
Prototype
Language

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Furukawa, K., & Ueda, K. (1988). GHC — A language for a new age of parallel programming. In 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. 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 proceedingConference contribution

Furukawa, K & Ueda, K 1988, GHC — A language for a new age of parallel programming. in 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 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)). https://doi.org/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. 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",
year = "1988",
month = "1",
day = "1",
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",
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/1/1

Y1 - 1988/1/1

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

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

PB - Springer-Verlag

ER -