Skip to main content
  • 233 Accesses

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics