TY  - CHAP
A1  - Möller, Bernhard
A2  - Broy, Manfred
A2  - Steinbrüggen, R.
T1  - Algebraic structures for program calculation
T2  - Calculational system design [proceedings of the NATO Advanced Study Institute on Calculational System Design, Marktoberdorf, Germany, 28 July - 9 August 1998]
N2  - 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.
Y1  - 2019
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/59220
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-592206
SN  - 978-90-5199-459-9
SP  - 25
EP  - 97
PB  - IOS Press
CY  - Amsterdam
ER  -