TY  - CHAP
A1  - Kloos, Carlos Delgado
A1  - Dosch, Walter
A1  - Möller, Bernhard
A2  - Dewilde, Patrick
T1  - Design and proof of multipliers by correctness-preserving transformation
T2  - Computer systems and software engineering: CompEuro 1992 proceedings; [6th annual European Computer Conference, The Hague, May 4 - 8, 1992, Netherland Congress Centre]
N2  - Transformational development allows one to design systems and  simultaneously prove them correct. We present transformational  developments of multiplier circuits from a common specification.  Careful choice of the notation (a functional language with  polymorphic and dependent higher-order (sub)types) and of the foundations for the transformations (some lemmas over the data  domains, embeddings of functions into more general ones, and use of the unfold/fold strategy) allow highlighting the design decisions in a systematic way.
Y1  - 1992
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/18447
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-184479
SN  - 0-8186-2760-3
SP  - 238
EP  - 243
PB  - IEEE Computer Soc. Press [u.a]
CY  - Los Alamitos, Calif. [u.a.]
ER  -