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

文章基本信息

  • 标题:Full Abstraction for Nominal General References
  • 本地全文:下载
  • 作者:Nikos Tzevelekos
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2009
  • 卷号:5
  • 期号:03
  • DOI:10.2168/LMCS-5(3:8)2009
  • 出版社:Technical University of Braunschweig
  • 摘要:

    Game semantics has been used with considerable success in formulating fully abstract semantics for languages with higher-order procedures and a wide range of computational effects. Recently, nominal games have been proposed for modelling functional languages with names. These are ordinary, stateful games cast in the theory of nominal sets developed by Pitts and Gabbay. Here we take nominal games one step further, by developing a fully abstract semantics for a language with nominal general references.

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