Algebraic calculation of graph and sorting algorithms

  • We introduce operators and laws of an algebra of formal languages, a subalgebra of which corresponds to the algebra of (multiary) relations. This algebra is then used in the formal specification and derivation of some graph and sorting algorithms. This study is part of an attempt to single out a framework for program development at a very high level of discourse, close to informal reasoning but still with full formal precision.

Download full text files

Export metadata


Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Author:Bernhard MöllerGND
Frontdoor URL
Series (Serial Number):Reports des Instituts für Mathematik der Universität Augsburg (286)
Publisher:Institut für Mathematik, Universität Augsburg
Place of publication:Augsburg
Year of first Publication:1993
Publishing Institution:Universität Augsburg
Release Date:2022/02/16
Institutes:Mathematisch-Naturwissenschaftlich-Technische Fakultät
Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Mathematisch-Naturwissenschaftlich-Technische Fakultät / Institut für Mathematik
Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme
Dewey Decimal Classification:5 Naturwissenschaften und Mathematik / 51 Mathematik / 510 Mathematik
Licence (German):Deutsches Urheberrecht