Skip to main content
SpringerLink
Log in

Transformational Programming and the Derivation of Algorithms

  • Conference paper
  • First Online:
Computer and Information Sciences

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 62))

  • 809 Accesses

Abstract

The transformational programming, method of algorithm derivation starts with a formal specification of the result to be achieved (which provides no indication of how the result is to be achieved), plus some informal ideas as to what techniques will be used in the implementation. The formal specification is then transformed into an implementation, by means of correctness-preserving refinement and transformation steps. The informal ideas are used to guide the selection of transformations to apply: since they only guide the selection of valid transformations, the ideas do not themselves have to be formalised.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover 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.

References

  1. Ralph-Johan Back, “Invariant Based Programming: Basic Approach and Teaching Experiences,” Formal Aspects of Computing 21#3 (May, 2009), 227–244.

    Google Scholar 

  2. E. W. Dijkstra, “A Constructive Approach to the Problem of Program Correctness.,” Technische Hogeschool Eindhoven, EWD209, http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD209.PDF.

  3. C. C. Morgan, Programming from Specifications, Prentice-Hall, Englewood Cliffs, NJ, 1994, Second Edition.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Technology Research Lab, De Montfort University, Bede Island Building, Leicester, LE1 9BH, UK

    Martin Ward & Hussein Zedan

Authors
  1. Martin Ward
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hussein Zedan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Martin Ward .

Editor information

Editors and Affiliations

  1. , EEE Dept., Imperial College, Exhibition Road, London, SW72BT, United Kingdom

    Erol Gelenbe

  2. , EEE Dept., Imperial College, Exhibition Rd., London, SW72AZ, United Kingdom

    Ricardo Lent

  3. , EEE Dept., Imperial College, Exhibition Rd., London, SW72AZ, United Kingdom

    Georgia Sakellari

  4. , School of Biomedical Eng., Sci. and Heal, Drexel University, Bossone 702, 3120 Market Street, Philadelphia, 19104, Pennsylvania, USA

    Ahmet Sacan

  5. , Dept. of Computer Engineering, Middle East Technical University, Ankara, 06531, Turkey

    Hakki Toroslu

  6. Fac. Engineering, Dept. Computer Engineering, Middle East Technical University - METU, Ankara, 06531, Turkey

    Adnan Yazici

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer Science+Business Media B.V.

About this paper

Cite this paper

Ward, M., Zedan, H. (2011). Transformational Programming and the Derivation of Algorithms. In: Gelenbe, E., Lent, R., Sakellari, G., Sacan, A., Toroslu, H., Yazici, A. (eds) Computer and Information Sciences. Lecture Notes in Electrical Engineering, vol 62. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-9794-1_4

Download citation

  • DOI: https://doi.org/10.1007/978-90-481-9794-1_4

  • Published:

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-9793-4

  • Online ISBN: 978-90-481-9794-1

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation