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

文章基本信息

  • 标题:Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
  • 本地全文:下载
  • 作者:Lars Birkedal ; Noah Torp-Smith ; Hongseok Yang
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2006
  • 卷号:2
  • 期号:05
  • DOI:10.2168/LMCS-2(5:1)2006
  • 出版社:Technical University of Braunschweig
  • 摘要:

    We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps (but with immutable stack variables). In particular, we provide simple sound rules for deriving higher-order frame rules, allowing for local reasoning.

  • 关键词:Languages
国家哲学社会科学文献中心版权所有