Pointer kleene algebra

被引：0
|
作者：
Ehm, T [1 ]
机构：
[1] Univ Augsburg, Inst Informat, D-86135 Augsburg, Germany
来源：
RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE | 2003年 / 3051卷
关键词：
Kleene algebra; embedding; pointer algebra; pointer structures;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present an extension of Kleene algebra (KA) that can be used for modeling a record based view of pointer structures. This is achieved by transferring some concepts of fuzzy relation theory to KAs. The defined framework enables us to maintain within a single extended Kleene algebra several equally shaped KAs modeling distinct record selectors.
引用
收藏
页码：99 / 111
页数：13
相关论文
共 50 条
  • [21] Proof theory for Kleene algebra
    Hardin, C
    LICS 2005: 20TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE - PROCEEDINGS, 2005, : 290 - 299
  • [22] Probabilistic Concurrent Kleene Algebra
    McIver, Annabelle
    Rabehaja, Tahiry
    Struth, Georg
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (117): : 97 - 115
  • [23] On the Complexity of Kleene Algebra with Domain
    Sedlar, Igor
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2023, 2023, 13896 : 208 - 223
  • [24] Kleene Algebra Modulo Theories
    Greenberg, Michael
    Beckett, Ryan
    Campbell, Eric
    PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 594 - 608
  • [25] TOWARDS KLEENE ALGEBRA WITH RECURSION
    LEISS, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 242 - 256
  • [26] Termination in modal Kleene algebra
    Desharnais, J
    Möller, B
    Struth, G
    EXPLORING NEW FRONTIERS OF THEORETICAL INFORMATICS, 2004, 155 : 647 - 660
  • [27] On the complexity of reasoning in Kleene algebra
    Kozen, D
    12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 195 - 202
  • [28] TOWARDS POINTER ALGEBRA
    MOLLER, B
    SCIENCE OF COMPUTER PROGRAMMING, 1993, 21 (01) : 57 - 90
  • [29] Completeness and Incompleteness in Nominal Kleene Algebra
    Kozen, Dexter
    Mamouras, Konstantinos
    Silva, Alexandra
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2015), 2015, 9348 : 51 - 66
  • [30] A Quest for Kleene Algebra in 2 Dimensions
    Stefanescu, Gheorghe
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2015), 2015, 9348 : 3 - 26
12345