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 条
  • [1] On Hoare logic, Kleene algebra, and types
    Kozen, D
    IN THE SCOPE OF LOGIC: METHODOLOGY & PHILOSOPHY OF SCIENCE, 2002, 315 : 119 - 133
  • [2] Probabilistic Modal Kleene Algebra and Hoare-style Logic
    Qiao, Rui
    Wu, Jinzhao
    Gao, Xinyan
    ICNC 2008: FOURTH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 3, PROCEEDINGS, 2008, : 652 - +
  • [3] Local Completeness Logic on Kleene Algebra with Tests
    Milanese, Marco
    Ranzato, Francesco
    STATIC ANALYSIS, SAS 2022, 2022, 13790 : 350 - 371
  • [4] On Incorrectness Logic and Kleene Algebra with Top and Tests
    Zhang, Cheng
    de Amorim, Arthur Azevedo
    Gaboardi, Marco
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (POPL):
  • [5] Kleene algebra with tests
    Kozen, D
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (03): : 427 - 443
  • [6] Concurrent Kleene Algebra with Tests
    Jipsen, Peter
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2014), 2014, 8428 : 37 - 48
  • [7] An axiomatization of arrays for Kleene algebra with tests
    Aboul-Hosn, Kamal
    RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2006, 4136 : 63 - 77
  • [8] A coalgebraic approach to Kleene algebra with tests
    Chen, HB
    Pucella, R
    THEORETICAL COMPUTER SCIENCE, 2004, 327 (1-2) : 23 - 44
  • [9] Position Automata for Kleene Algebra with Tests
    Silva, Alexandra
    SCIENTIFIC ANNALS OF COMPUTER SCIENCE, 2012, 22 (02) : 367 - 394
  • [10] Kleene algebra with tests: Completeness and decidability
    Kozen, D
    Smith, F
    COMPUTER SCIENCE LOGIC, 1997, 1258 : 244 - 259
12345