TGHC: Timed guarded Horn clauses

K. Saito

doi:10.1109/TRON.1992.313260

TGHC: Timed guarded Horn clauses

K. Saito^*

^*Corresponding author for this work

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

2 Citations (Scopus)

Abstract

A description is given of the design principles, syntax, and semantics of the distributed real-time programming language TGHC (timed guarded Horn clauses). TGHC is a descendant of concurrent logic programming languages and it is capable of explicitly expressing time constraints by introducing the timed guard to GHC. A formal semantics of a subset of TGHC is also given.

Original language	English
Title of host publication	Proceedings - 9th TRON Project Symposium International, TRON 1992
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	122-135
Number of pages	14
ISBN (Electronic)	0818629908, 9780818629907
DOIs	https://doi.org/10.1109/TRON.1992.313260
Publication status	Published - 1992
Externally published	Yes
Event	9th International TRON Project Symposium, TRON 1992 - Tokyo, Japan Duration: 1992 Dec 2 → 1992 Dec 4

Publication series

Name	Proceedings - 9th TRON Project Symposium International, TRON 1992

Conference

Conference	9th International TRON Project Symposium, TRON 1992
Country/Territory	Japan
City	Tokyo
Period	92/12/2 → 92/12/4

ASJC Scopus subject areas

Hardware and Architecture
Human-Computer Interaction

Access to Document

10.1109/TRON.1992.313260

Cite this

Saito, K 1992, TGHC: Timed guarded Horn clauses. in Proceedings - 9th TRON Project Symposium International, TRON 1992., 437, Proceedings - 9th TRON Project Symposium International, TRON 1992, Institute of Electrical and Electronics Engineers Inc., pp. 122-135, 9th International TRON Project Symposium, TRON 1992, Tokyo, Japan, 92/12/2. https://doi.org/10.1109/TRON.1992.313260

@inproceedings{639d3898bf184a19999e63a8e2b29448,

title = "TGHC: Timed guarded Horn clauses",

abstract = "A description is given of the design principles, syntax, and semantics of the distributed real-time programming language TGHC (timed guarded Horn clauses). TGHC is a descendant of concurrent logic programming languages and it is capable of explicitly expressing time constraints by introducing the timed guard to GHC. A formal semantics of a subset of TGHC is also given.",

author = "K. Saito",

note = "Publisher Copyright: {\textcopyright} 1992 IEEE.; 9th International TRON Project Symposium, TRON 1992 ; Conference date: 02-12-1992 Through 04-12-1992",

year = "1992",

doi = "10.1109/TRON.1992.313260",

language = "English",

series = "Proceedings - 9th TRON Project Symposium International, TRON 1992",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "122--135",

booktitle = "Proceedings - 9th TRON Project Symposium International, TRON 1992",

}

TY - GEN

T1 - TGHC

T2 - 9th International TRON Project Symposium, TRON 1992

AU - Saito, K.

PY - 1992

Y1 - 1992

N2 - A description is given of the design principles, syntax, and semantics of the distributed real-time programming language TGHC (timed guarded Horn clauses). TGHC is a descendant of concurrent logic programming languages and it is capable of explicitly expressing time constraints by introducing the timed guard to GHC. A formal semantics of a subset of TGHC is also given.

AB - A description is given of the design principles, syntax, and semantics of the distributed real-time programming language TGHC (timed guarded Horn clauses). TGHC is a descendant of concurrent logic programming languages and it is capable of explicitly expressing time constraints by introducing the timed guard to GHC. A formal semantics of a subset of TGHC is also given.

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

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

U2 - 10.1109/TRON.1992.313260

DO - 10.1109/TRON.1992.313260

M3 - Conference contribution

AN - SCOPUS:57849129135

T3 - Proceedings - 9th TRON Project Symposium International, TRON 1992

SP - 122

EP - 135

BT - Proceedings - 9th TRON Project Symposium International, TRON 1992

PB - Institute of Electrical and Electronics Engineers Inc.

Y2 - 2 December 1992 through 4 December 1992

ER -

TGHC: Timed guarded Horn clauses

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this