Refinement algebra with operators for enabledness and termination

被引：0
|
作者：
Solin, Kim [1 ]
von Wright, Joakim [1 ]
机构：
[1] Turku Ctr Comp Sci, FIN-20520 Turku, Finland
来源：
MATHEMATICS OF PROGRAM CONSTRUCTION | 2006年 / 4014卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Refinement algebras are abstract algebras for reasoning about programs in a total-correctness framework. We extend a reduct of von Wright's demonic refinement algebra with two operators for modelling enabledness and termination of programs. We show how the operators can be used for expressing relations between programs and apply the algebra to reasoning about action systems.
引用
收藏
页码：397 / 415
页数：19
相关论文
共 50 条
  • [1] Enabledness and termination in refinement algebra
    Solin, Kim
    von Wright, Joakim
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2009, 74 (08) : 654 - 668
  • [2] On the structure of demonic refinement algebras with enabledness and termination
    De Carufel, Jean-Lou
    Desharnais, Jules
    [J]. RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, 2008, 4988 : 69 - 83
  • [3] Abstraction refinement for termination
    Cook, B
    Podelski, A
    Rybalchenko, A
    [J]. STATIC ANALYSIS, PROCEEDINGS, 2005, 3672 : 87 - 101
  • [4] From Kleene algebra to refinement algebra
    von Wright, J
    [J]. MATHEMATICS OF PROGRAM CONSTRUCTION, 2002, 2386 : 233 - 262
  • [5] Algebra of program termination
    Doornbos, H
    Backhouse, R
    [J]. ALGEBRAIC AND COALGEBRAIC METHODS IN THE MATHEMATICS OF PROGRAM CONSTRUCTION, 2002, 2297 : 203 - 235
  • [6] Towards a refinement algebra
    von Wright, J
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2004, 51 (1-2) : 23 - 45
  • [7] Omega algebra, demonic refinement algebra and commands
    Hoefner, Peter
    Moeller, Bernhard
    Solin, Kim
    [J]. RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2006, 4136 : 222 - 234
  • [8] Termination in modal Kleene algebra
    Desharnais, J
    Möller, B
    Struth, G
    [J]. EXPLORING NEW FRONTIERS OF THEORETICAL INFORMATICS, 2004, 155 : 647 - 660
  • [9] MERGE AND TERMINATION IN PROCESS ALGEBRA
    BAETEN, JCM
    VANGLABBEEK, RJ
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 153 - 172
  • [10] Probabilistic choice in refinement algebra
    Meinicke, Larissa
    Hayes, Ian J.
    [J]. MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2008, 5133 : 243 - +
12345