TGHC: Timed guarded Horn clauses

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationProceedings - 9th TRON Project Symposium International, TRON 1992
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages122-135
Number of pages14
ISBN (Electronic)0818629908, 9780818629907
DOIs
Publication statusPublished - 1992
Externally publishedYes
Event9th International TRON Project Symposium, TRON 1992 - Tokyo, Japan
Duration: 1992 Dec 21992 Dec 4

Publication series

NameProceedings - 9th TRON Project Symposium International, TRON 1992

Conference

Conference9th International TRON Project Symposium, TRON 1992
Country/TerritoryJapan
CityTokyo
Period92/12/292/12/4

ASJC Scopus subject areas

  • Hardware and Architecture
  • Human-Computer Interaction

Fingerprint

Dive into the research topics of 'TGHC: Timed guarded Horn clauses'. Together they form a unique fingerprint.

Cite this