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 条
  • [31] Concurrent Kleene Algebra and its Foundations
    Hoare, Tony
    Moeller, Bernhard
    Struth, Georg
    Wehrman, Ian
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (06): : 266 - 296
  • [32] On Hoare logic, Kleene algebra, and types
    Kozen, D
    IN THE SCOPE OF LOGIC: METHODOLOGY & PHILOSOPHY OF SCIENCE, 2002, 315 : 119 - 133
  • [33] An axiomatization of arrays for Kleene algebra with tests
    Aboul-Hosn, Kamal
    RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2006, 4136 : 63 - 77
  • [34] Modal Kleene algebra and partial correctness
    Möller, B
    Struth, G
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 379 - 393
  • [35] Kleene Algebra of Weighted Programs with Domain
    Sedlar, Igor
    DYNAMIC LOGIC. NEW TRENDS AND APPLICATIONS, DALI 2023, 2024, 14401 : 52 - 67
  • [36] A coalgebraic approach to Kleene algebra with tests
    Chen, HB
    Pucella, R
    THEORETICAL COMPUTER SCIENCE, 2004, 327 (1-2) : 23 - 44
  • [37] On the expressive power of Kleene algebra with domain
    Struth, Georg
    INFORMATION PROCESSING LETTERS, 2016, 116 (04) : 284 - 288
  • [38] Investigating discrete controllability with Kleene algebra
    Bherer, H
    Desharnais, J
    Frappier, M
    St-Denis, R
    RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2003, 3051 : 74 - 85
  • [39] Weak Kleene algebra and computation trees
    Cohen, Ernie
    RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2006, 4136 : 1 - 1
  • [40] A Kleene Algebra of Tagged System Actors
    Dey, Soumyajit
    Sarkar, Dipankar
    Basu, Anupam
    IEEE EMBEDDED SYSTEMS LETTERS, 2011, 3 (01) : 28 - 31
12345