Pointer Kleene Algebra

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.

[1]  Georg Struth,et al.  Relational and Kleene-Algebraic Methods in Computer Science , 2003, Lecture Notes in Computer Science.

[2]  J. Conway.  Regular algebra and finite machines , 1971 .

[3]  C. A. R. Hoare,et al.  A Trace Model for Pointers and Objects , 1999, ECOOP.

[4]  Vaughan R. Pratt,et al.  Action Logic and Pure Induction , 1990, JELIA.

[5]  Georg Struth,et al.  Kleene Modules , 2003, RelMiCS.

[6]  Jules Desharnais,et al.  Kleene under a Demonic Star , 2000, AMAST.

[7]  K. Clenaghan.  Calculational graph algorithmics: reconciling two approaches with dynamic algebra , 1995 .

[8]  Yasuo Kawahara,et al.  Crispness in Dedekind Categories , 2001, RelMiCS.

[9]  Ernie Cohen,et al.  Separation and Reduction , 2000, MPC.

[10]  Joakim von Wright,et al.  From Kleene Algebra to Refinement Algebra , 2002, MPC.

[11]  Roger D. Maddux,et al.  Algebraic Logic and Universal Algebra in Computer Science , 1990, Lecture Notes in Computer Science.

[12]  Dexter Kozen,et al.  Kleene algebra with tests , 1997, TOPL.

[13]  Bernhard Möller,et al.  Calculating with pointer structures , 1997, Algorithmic Languages and Calculi.

[14]  Thorsten Ehm,et al.  The Kleene algebra of nested pointer structures: theory and applications , 2003 .

[15]  Michael Winter,et al.  Relational Constructions in Goguen Categories , 2001, RelMiCS.

[16]  Donald Yau,et al.  Categories , 2021, 2-Dimensional Categories.

[17]  Thorsten Ehm.  Transformational Construction of Correct Pointer Algorithms , 2001, Ershov Memorial Conference.

[18]  Vaughan R. Pratt,et al.  Dynamic algebras as a well-behaved fragment of relation algebras , 1988, Algebraic Logic and Universal Algebra in Computer Science.

[19]  Manfred Broy,et al.  Perspectives of System Informatics , 2001, Lecture Notes in Computer Science.

[20]  Rachid Guerraoui,et al.  ECOOP’ 99 — Object-Oriented Programming , 1999, Lecture Notes in Computer Science.

[21]  T. Ehm.  Properties of Overwriting for Updates in Typed Kleene Algebras , 2000 .