TGHC: Timed guarded Horn clauses

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルProceedings - 9th TRON Project Symposium International, TRON 1992
出版社Institute of Electrical and Electronics Engineers Inc.
ページ122-135
ページ数14
ISBN(電子版)0818629908, 9780818629907
DOI
出版ステータスPublished - 1992
外部発表はい
イベント9th International TRON Project Symposium, TRON 1992 - Tokyo, Japan
継続期間: 1992 12 21992 12 4

出版物シリーズ

名前Proceedings - 9th TRON Project Symposium International, TRON 1992

Conference

Conference9th International TRON Project Symposium, TRON 1992
国/地域Japan
CityTokyo
Period92/12/292/12/4

ASJC Scopus subject areas

  • ハードウェアとアーキテクチャ
  • 人間とコンピュータの相互作用

フィンガープリント

「TGHC: Timed guarded Horn clauses」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル