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 条
  • [41] Position Automata for Kleene Algebra with Tests
    Silva, Alexandra
    SCIENTIFIC ANNALS OF COMPUTER SCIENCE, 2012, 22 (02) : 367 - 394
  • [42] Completeness and Incompleteness of Synchronous Kleene Algebra
    Wagemaker, Jana
    Bonsangue, Marcello
    Kappe, Tobias
    Rot, Jurriaan
    Silva, Alexandra
    MATHEMATICS OF PROGRAM CONSTRUCTION, 2019, 11825 : 385 - 413
  • [43] Automatic proof generation in Kleene algebra
    Worthington, James
    RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, 2008, 4988 : 382 - 396
  • [44] Kleene algebra with tests: Completeness and decidability
    Kozen, D
    Smith, F
    COMPUTER SCIENCE LOGIC, 1997, 1258 : 244 - 259
  • [45] A framework for Kleene algebra with an embedded structure
    Furusawa, Hitoshi
    RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 96 - 107
  • [46] Completeness and incompleteness in nominal Kleene algebra
    Kozen, Dexter
    Mamouras, Konstantinos
    Silva, Alexandra
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2017, 91 : 17 - 32
  • [47] ON TOOLS FOR COMPLETENESS OF KLEENE ALGEBRA WITH HYPOTHESES
    Pous, Damien
    Rot, Jurriaan
    Wagemaker, Jana
    LOGICAL METHODS IN COMPUTER SCIENCE, 2024, 20 (02) : 1 - 8
  • [48] Investigating discrete controllability with kleene algebra
    Bherer, Hans
    Desharnais, Jules
    Frappier, Marc
    St-Denis, Richard
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3051 : 74 - 85
  • [49] Image segmentation based on Kleene algebra
    Hata, Y
    Ishikawa, M
    Kamiura, N
    1998 28TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - PROCEEDINGS, 1998, : 155 - 160
  • [50] On hoare logic and Kleene algebra with tests
    Cornell Univ, Ithaca, United States
    Proc Symp Logic Comput Sci, (167-172):
12345