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

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!