On hoare logic and Kleene algebra with tests

被引：0
|
作者：
Cornell Univ, Ithaca, United States [1 ]
机构：
来源：
Proc Symp Logic Comput Sci | / 167-172期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] On the complexity of reasoning in Kleene algebra
    Kozen, D
    INFORMATION AND COMPUTATION, 2002, 179 (02) : 152 - 162
  • [42] Foundations of Concurrent Kleene Algebra
    Hoare, C. A. R.
    Moeller, Bernhard
    Struth, Georg
    Wehrman, Ian
    RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2009, 5827 : 166 - +
  • [43] Automated reasoning in kleene algebra
    Hoefner, Peter
    Struth, Georg
    AUTOMATED DEDUCTION - CADE-21, PROCEEDINGS, 2007, 4603 : 279 - +
  • [44] Reverse Hoare Logic
    de Vries, Edsko
    Kontavas, Vasileios
    SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 155 - 171
  • [45] Guarded Kleene Algebra with Tests Verification of Uninterpreted Programs in Nearly Linear Time
    Smolka, Steffen
    Foster, Nate
    Hsu, Justin
    Kappe, Tobias
    Kozen, Dexter
    Silva, Alexandra
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (POPL):
  • [46] A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
    Kappe, Tobias
    Schmid, Todd
    Silva, Alexandra
    PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, 2023, 13990 : 309 - 336
  • [47] Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV
    Glueck, Roland
    Krebs, Florian Benedikt
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2015), 2015, 9348 : 241 - 256
  • [48] Hoare logic in the abstract
    Martin, Ursula
    Mathiesen, Erik A.
    Oliva, Paulo
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2006, 4207 : 501 - 515
  • [49] Kleene Algebra and Bytecode Verification
    Kot, Lucja
    Kozen, Dexter
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (01) : 221 - 236
  • [50] Developments in concurrent Kleene algebra
    Hoare, Tony
    van Staden, Stephan
    Moeller, Bernhard
    Struth, Georg
    Zhu, Huibiao
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (04) : 617 - 636
12345