Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献一覧: 桜川貴司 (著者)
1件
10
0
0
0
Temporal Prolog - A Programming Language Based on Temporal Logic
著者
桜川貴司
Takashi Sakuragawa
京都大学数理解析研究所
雑誌
コンピュータソフトウェア
(
ISSN:02896540
)
巻号頁・発行日
vol.4, no.3, pp.15-27, 1987
被引用文献数
1
Temporal Logicに裁づいた論理型言語を紹介する.この言語によって,並列処理・待ち合わせ・相互排除・非決定性などを容易に表現できる.applicationとしてはexecutable specification languageとしての使用を念頭においている.