Derivation of graph and pointer 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 pointer algorithms.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Bernhard MöllerGND
URN:urn:nbn:de:bvb:384-opus4-924352
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/92435
Series (Serial Number):Reports des Instituts für Mathematik der Universität Augsburg (280)
Publisher:Institut für Mathematik, Universität Augsburg
Place of publication:Augsburg
Type:Report
Language:English
Year of first Publication:1993
Publishing Institution:Universität Augsburg
Release Date:2022/02/03
Pagenumber:39
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