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 条
  • [1] Kleene Algebra with Hypotheses
    Doumane, Amina
    Kuperberg, Denis
    Pous, Damien
    Pradic, Pierre
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2019, 2019, 11425 : 207 - 223
  • [2] Synchronous Kleene algebra
    Prisacariu, Cristian
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (07): : 608 - 635
  • [3] Kleene algebra with domain
    Desharnais, Jules
    Moeller, Bernhard
    Struth, Georg
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2006, 7 (04) : 798 - 833
  • [4] Kleene Algebra with Converse
    Brunet, Paul
    Pous, Damien
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2014), 2014, 8428 : 101 - 118
  • [5] Kleene Algebra with Equations
    Kozen, Dexter
    Mamouras, Konstantinos
    AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, 2014, 8573 : 280 - 292
  • [6] Concurrent Kleene Algebra
    Hoare, C. A. R. Tony
    Moeller, Bernhard
    Struth, Georg
    Wehrman, Ian
    CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 399 - +
  • [7] Kleene algebra with relations
    Desharnais, J
    RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2003, 3051 : 8 - 20
  • [8] Kleene algebra with tests
    Kozen, D
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (03): : 427 - 443
  • [9] Lazy Kleene algebra
    Möller, B
    MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2004, 3125 : 252 - 273
  • [10] From Kleene algebra to refinement algebra
    von Wright, J
    MATHEMATICS OF PROGRAM CONSTRUCTION, 2002, 2386 : 233 - 262
12345