DocumentCode
1984661
Title
TGHC: timed guarded Horn clauses
Author
Saito, Kenji
Author_Institution
Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
fYear
1992
fDate
2-4 Dec 1992
Firstpage
122
Lastpage
135
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
Keywords
logic programming languages; parallel languages; real-time systems; temporal logic; GHC; concurrent logic programming languages; design principles; distributed real-time programming language TGHC; formal semantics; semantics; syntax; time constraints; timed guard; timed guarded Horn clauses; Application software; Computer languages; Computer science; Concurrent computing; Logic design; Parallel processing; Parallel robots; Real time systems; Robotics and automation; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
TRON Project Symposium, 1992. Proceedings., Ninth
Conference_Location
Tokyo
ISSN
1063-6749
Print_ISBN
0-8186-2990-8
Type
conf
DOI
10.1109/TRON.1992.313260
Filename
313260
Link To Document