Temporal Prolog : A Programming Language Based on Temporal Logic

スポンサーリンク

概要

• 論文の詳細を見る

• Temporal Logicに裁づいた論理型言語を紹介する.この言語によって,並列処理・待ち合わせ・相互排除・非決定性などを容易に表現できる.applicationとしてはexecutable specification languageとしての使用を念頭においている.

• 日本ソフトウェア科学会の論文
• 1987-07-15

著者

• 桜川 貴司

  京都大学数理解析研究所

関連論文

• 分散OS ToMにおけるネットワーク上のRPCの設計
• RACCO:実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語
• Temporal Prolog : A Programming Language Based on Temporal Logic

スポンサーリンク