Temporal Prolog - A Programming Language Based on Temporal Logic
この論文をさがす
説明
Temporal Logicに裁づいた論理型言語を紹介する.この言語によって,並列処理・待ち合わせ・相互排除・非決定性などを容易に表現できる.applicationとしてはexecutable specification languageとしての使用を念頭においている.
収録刊行物
-
- コンピュータソフトウェア
-
コンピュータソフトウェア 4 (3), 15-27, 1987
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1570572702419634048
-
- NII論文ID
- 110003743453
-
- NII書誌ID
- AN10075819
-
- ISSN
- 02896540
-
- 本文言語コード
- ja
-
- データソース種別
-
- CiNii Articles