Temporal Prolog - A Programming Language Based on Temporal Logic

1 Citations

Search this article

Description

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

Journal

Citations (1)*help

See more

Details 詳細情報について

  • CRID
    1570572702419634048
  • NII Article ID
    110003743453
  • NII Book ID
    AN10075819
  • ISSN
    02896540
  • Text Lang
    ja
  • Data Source
    • CiNii Articles

Report a problem

Back to top