Algebraic structures for program calculation
- In calculational program design one derives implementations from specifications using semantics-preserving deduction rules. The aim of modern algebraic approaches is to make both specification and calculation more concise and perspicuous by compacting logic into algebra as much as possible. We present a collection of algebraic calculi that are useful in this activity. They are shown at work in a number of examples that range from graph algorithms over stream processing to hardware description.
Download full text files
Postprint
Statistics
Additional Services
| Author: | Bernhard MöllerGND |
|---|---|
| URN: | urn:nbn:de:bvb:384-opus4-592206 |
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/59220 |
| ISBN: | 978-90-5199-459-9OPAC |
| Parent Title (English): | Calculational system design [proceedings of the NATO Advanced Study Institute on Calculational System Design, Marktoberdorf, Germany, 28 July - 9 August 1998] |
| Publisher: | IOS Press |
| Place of publication: | Amsterdam |
| Editor: | Manfred Broy, R. Steinbrüggen |
| Type: | Part of a Book |
| Language: | English |
| Year of first Publication: | 1999 |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2019/09/04 |
| First Page: | 25 |
| Last Page: | 97 |
| Series: | NATO Science Series F ; 173 |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme | |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Licence (German): |  Deutsches Urheberrecht |
