Intermediary Examples

  • Derrick G. Kourie
  • Bruce W. Watson


This chapter provides further examples of the software correctness by construction method. The examples are fairly diverse. They range from sorting in a specialised context (the Dutch National Flag problem), discovering segmental properties of an array (the longest segment and the longest palindrome problems), raster drawing algorithms, the majority voting problem and an example from computational geometry. It will be clear that conventional “hack into correctness” approaches to software development would be hard-pressed to come up with correct versions of these algorithms.


Convex Polygon Axial Line Select Statement Assignment Rule Loop Body 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    A. Aho, M. Lam, R. Sethi, J. Ullman, Compilers: Principles, Techniques and Tools, 2nd edn. (Pearson Education, 2007), ISBN-10: 0321491696, ISBN-13: 9780321491695Google Scholar
  2. 7.
    J. Bresenham, A linear algorithm for incremental digital display of circular arcs. Commun. ACM 20(2), 100–106 (1977)zbMATHCrossRefGoogle Scholar
  3. 14.
    J.D. Foley, A. van Dam, S.K. Feiner, J.F. Hughes, Computer Graphics: Principles and Practice in C, 2nd edn. (Pearson, New York, 1995)Google Scholar
  4. 23.
    J. Gutknecht, Pulling rabbits out of a hat. South African Comput. J. 3, 1–4 (1990)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Derrick G. Kourie
    • 1
  • Bruce W. Watson
    • 2
  1. 1.Department of Computer ScienceUniversity of PretoriaPretoriaSouth Africa
  2. 2.FASTAR Group, Information ScienceStellenbosch UniversityStellenboschSouth Africa

Personalised recommendations