TGHC: timed guarded Horn clauses

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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Proceedings [1992] The Ninth TRON Project Symposium s. 122 - 135
Hlavní autor: Saito, K.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE Comput. Soc. Press 1992
Témata:
Application software
Computer languages
Computer science
Concurrent computing
Logic design
Parallel processing
Parallel robots
Real time systems
Robotics and automation
Timing
ISBN:0818629908, 9780818629907
ISSN:1063-6749
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.< >
ISBN:0818629908
9780818629907
ISSN:1063-6749
DOI:10.1109/TRON.1992.313260