Temporal Prolog - A Programming Language Based on Temporal Logic
Search this article
Description
Temporal Logicに裁づいた論理型言語を紹介する.この言語によって,並列処理・待ち合わせ・相互排除・非決定性などを容易に表現できる.applicationとしてはexecutable specification languageとしての使用を念頭においている.
Journal
-
- コンピュータソフトウェア
-
コンピュータソフトウェア 4 (3), 15-27, 1987
- Tweet
Details 詳細情報について
-
- CRID
- 1570572702419634048
-
- NII Article ID
- 110003743453
-
- NII Book ID
- AN10075819
-
- ISSN
- 02896540
-
- Text Lang
- ja
-
- Data Source
-
- CiNii Articles