首页    期刊浏览 2024年11月25日 星期一
登录注册

文章基本信息

  • 标题:PMLのための述語抽象化の代数意味論
  • 本地全文:下载
  • 作者:木下 佳樹 ; 西澤 弘毅
  • 期刊名称:コンピュータ ソフトウェア
  • 印刷版ISSN:0289-6540
  • 出版年度:2009
  • 卷号:26
  • 期号:2
  • 页码:2_147-2_156
  • DOI:10.11309/jssst.26.2_147
  • 出版社:Japan Society for Software Science and Technology
  • 摘要:

    We give a semantics of abstraction in PML (Pointer Manipulation Language) given by Takahashi et al.. This is an instance of unifying theory for abstraction of reactive systems given by the second author et al., as every model of PML induces a model of Rμ, a modal logic with fixpoints studied by the second author. It gives the proof of the correctness of predicate abstraction used in MLAT.

国家哲学社会科学文献中心版权所有