Step-indexed relational reasoning for countable nondeterminism

被引：0
|
作者：
Schwinghammer, Jan [1 ]
Birkedal, Lars [2 ]
机构：
[1] Saarland University, Germany
[2] IT University of Copenhagen, Denmark
来源：
Leibniz International Proceedings in Informatics, LIPIcs | 2011年 / 12卷
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Calculations
引用
收藏
页码：512 / 524
相关论文
共 50 条
  • [1] STEP-INDEXED RELATIONAL REASONING FOR COUNTABLE NONDETERMINISM
    Birkedal, Lars
    Bizjak, Ales
    Schwinghammer, Jan
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 9 (04)
  • [2] Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice
    Aguirre, Alejandro
    Birkedal, Lars
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 33 - 60
  • [3] A step-indexed model of substructural state
    Ahmed, A
    Fluet, M
    Morrisett, G
    [J]. ACM SIGPLAN NOTICES, 2005, 40 (09) : 78 - 91
  • [4] Step-Indexed Logical Relations for Probability
    Bizjak, Ales
    Birkedal, Lars
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2015), 2015, 9034 : 279 - 294
  • [5] LOGICAL STEP-INDEXED LOGICAL RELATIONS
    Dreyer, Derek
    Ahmed, Amal
    Birkedal, Lars
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (02)
  • [6] Logical Step-Indexed Logical Relations
    Dreyer, Derek
    Ahmed, Amal
    Birkedal, Lars
    [J]. 24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 71 - 80
  • [7] A STEP-INDEXED SEMANTICS OF IMPERATIVE OBJECTS
    Hritcu, Catalin
    Schwinghammer, Jan
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2009, 5 (04) : 1 - 48
  • [8] A step-indexed Kripke model of hidden state
    Schwinghammer, Jan
    Birkedal, Lars
    Pottier, Francois
    Reus, Bernhard
    Stovring, Kristian
    Yang, Hongseok
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2013, 23 (01) : 1 - 54
  • [9] Step-Indexed Normalization for a Language with General Recursion
    Casinghino, Chris
    Sjoeberg, Vilhelm
    Weirich, Stephanie
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (76): : 25 - 39
  • [10] Semantics under Step-indexed Model and Formalization
    Guo H.
    Cao Q.-X.
    [J]. Ruan Jian Xue Bao/Journal of Software, 2022, 33 (06): : 2127 - 2149
12345