Abstract
Having spent many pages looking at various ways in which a single specification can give rise to numerous designs and implementations, we now turn our attention to two further examples which illustrate different aspects of algorithm design. These are two important, if unfamiliar, problems that can be represented pictorially. We could follow them through right down to the level of complete PDL implementations; however, we shall stop at an earlier stage in the synthesis. Here we are less concerned with details than the basic approach — the smaller subcalculations that are generated as we proceed can be tackled in the same way as earlier examples
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2005 Springer-Verlag London Limited
About this chapter
Cite this chapter
(2005). Further Examples. In: Constructing Correct Software. Springer, London. https://doi.org/10.1007/1-84628-079-6_12
Download citation
DOI: https://doi.org/10.1007/1-84628-079-6_12
Publisher Name: Springer, London
Print ISBN: 978-1-85233-820-6
Online ISBN: 978-1-84628-079-5
eBook Packages: Computer ScienceComputer Science (R0)