TY - GEN
T1 - TGHC
T2 - 9th International TRON Project Symposium, TRON 1992
AU - Saito, K.
N1 - Publisher Copyright:
© 1992 IEEE.
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 -