Veröffentlichungen

2012

• On the Algebraic Derivation of Garbage Collectors
  H.-H. Dang
  in T. G. Griffin and W. Kahl (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 13) --- PhD Programme, 2012.

2011

• Simplifying Pointer Kleene Algebra
  H.-H. Dang, B. Möller
  in 1st Workshop on Automated Theory Engineering (ATE 2011), 2011.
• Variable Side Conditions and Greatest Relations in Algebraic Separation Logic
  H.-H. Dang, P. Höfner
  in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12), LNCS 6663, pp. 125-140, 2011.
• Towards Automation for Pointer Algebra
  H.-H. Dang
  in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12) --- PhD Programme, 2011.
• Algebraic Separation Logic
  H.-H. Dang, P. Höfner, B. Möller
  in Journal of Logic and Algebraic Programming 80, pp. 221-247, 2011.

2010

• Algebraic Separation Logic
  H.-H. Dang, P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, July 2010
  2010-06

2009

• Towards Algebraic Separation Logic
  H.-H. Dang, P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, June 2009
  2009-12
• Algebraic Aspects of Separation Logic
  H.-H. Dang
  Technical Report, Institute of Computer Science, University of Augsburg, May 2009
  2009-01

2004

• Pointer Kleene algebra
  T. Ehm
  In R. Berghammer, B. Möller, G. Struth (eds.): Relational and Kleene-Algebraic Methods in Computer Science, LNCS 3051.
  pp. 99-111, 2004.
  Springer.

2003

• Kleene Algebras and Pointer Structures
  T. Ehm
  Technical Report, Institute of Computer Science, University of Augsburg, July 2003
  2003-13
• Case studies for the derivation of pointer algorithms
  T. Ehm
  Technical Report, Institute of Computer Science, University of Augsburg, June 2003
  2003-09

2001

• Transformational construction of correct pointer algorithms
  T. Ehm
  Andrei Ershov Fourth International Conference on Perspectives of Systems Informatics.
  pp. 116-130, Novosibirsk, Russia, Juli 2001.
  In D. Bjorner, M. Broy, A.V. Zamulin (eds.): Lecture Notes in Computer Science 2244.
  Springer-Verlag.

2000

• Safer Ways to Pointer Manipulation
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, May 2000
  2000-04

1999

• Calculating with acyclic and cyclic lists
  B. Möller
  In Information Sciences - An International Journal. Special Issue on Relational Methods in Computer Science 119/3-4.
  pp. 135-154, 1999.

1998

• Are anamorphisms reasonable abstractions?
  B. Möller
  Workshop on Generic Programming. Chalmers University of Technology, Göteborg, Sweden.
  Juni 1998.

1997

• Calculating With Pointer Structures
  B. Möller
  IFIP TC2/WG2.1 Working Conference.
  In R. Bird, L. Meertens (eds.): Algorithmic languages and calculi Relational Methods in Computer Science 119/3-4.
  pp. 24-48, Le Bischenberg, France, Feb. 1997.
  Chapman & Hall.
• Linked Lists Calculated
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 1997
  1997-07

1993

• Derivation of Graph and Pointer Algorithms
  B. Möller
  Institut für Mathematik der Universität Augsburg.
  Report Nr. 280, 1993
• Towards Pointer Algebra
  B. Möller
  Institut für Mathematik der Universität Augsburg.
  Report Nr. 279, 1993
• Derivation of graph and pointer algorithms
  B. Möller
  In B. Möller, H.A. Partsch, S.A. Schuman (eds.): Formal program development, LNCS 755.
  pp. 123-160, 1993.
  Springer-Verlag.
• Towards pointer algebra
  B. Möller
  In Science of Computer Programming 21.
  pp. 57-90, 1993.

1992

• Some applications of pointer algebra
  B. Möller
  In Broy, M. (ed.): Programming and mathematical method. NATO ASI Series, Series F: Computer and Systems Sciences, Vol. 88.
  pp. 123-155, 1992.
  Springer-Verlag.

1991

• Calculating a garbage collector
  U. Berger, W. Meixner, B. Möller
  In M. Broy, M. Wirsing (eds.): Methodik des Programmierens, Methods of programming, LNCS 544.
  pp. 137-192, 1991.
  Springer-Verlag.
• Formal derivation of pointer algorithms
  B. Möller
  In M. Broy (ed.): Informatik und Mathematik.
  pp. 419-440, 1991.
  Springer-Verlag.

1990

• Systematic derivation of pointer algorithms
  B. Möller
  In A. Reuter (ed.): GI - 20. Jahrestagung II. Informatik-Fachberichte 258.
  pp. 537-547, 1990.
  Springer-Verlag.