Properties of Overwriting for Updates in Typed

@inproceedings{Ehm2000PropertiesOO,
  title={Properties of Overwriting for Updates in Typed},
  author={Thorsten Ehm},
  year={2000}
}
In this paper we present an abstract representation of pointer structures in Kleene algebras and the properties of a particular selective update function. These can be used as prerequisites for the definition of in-situ pointer updates and a general framework to derive in-situ pointer algorithms from their specification. 

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-2 OF 2 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 10 REFERENCES

Typed Kleene Algebras. Technical Report 1999-8, Institut für Informatik, Universität Augsburg

  • B. Möller
  • 1999
1 Excerpt

Galois connections presented calculationally

  • C. J. Aarts
  • Eindhoven University of Technology, Dept. of…
  • 1992

Regular algebra and finite machines

  • J. H. Conway
  • 1971
1 Excerpt

Similar Papers

Loading similar papers…