Skip to main content
SpringerLink
Log in

Lectures on Data Refinement

  • Conference paper
Programming and Mathematical Method

Part of the book series: NATO ASI Series ((NATO ASI F,volume 88))

  • 85 Accesses

Abstract

These lectures discuss the notion of data refinement: the replacement of one or more variables in a program by other variables, with suitable replacement of expressions and statements, to yield an equivalent program.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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.

References

  1. Aho, A.V., J.E. Hopcroft and J.D. Ullman. Date Structures and Algorithms. Addison-Wesley, Reading, 1985, 96–102.

    Google Scholar 

  2. Back, R.-J. On the correctness of refinement steps in program development. Report A-1978-4, Computer Science Department, University of Helsinki, 1978.

    Google Scholar 

  3. Chen, W., and J.T. Udding. Towards a calculus of data refinement. LNCS 375, Mathematics of Program Construction, Springer Verlag, New York, 1989.

    Google Scholar 

  4. Dijkstra, E.W. A Discipline of Programming. Prentice Hall, Englewood Cliffs, New Jersey, 1976.

    MATH  Google Scholar 

  5. Dijkstra, E.W., and C.S. Scholten. Predicate Calculus and Program Semantics. Springer Verlag, New York, 1989.

    Google Scholar 

  6. Feijen, W.H.J., A.J.M. van Gasteren, and D. Gries. In-situ inversion of a cyclic permutation. IPL 24, 1 (January 1987), 11–14.

    Article  Google Scholar 

  7. Gries, D. The Science of Programming. Springer Verlag, New York, 1981.

    MATH  Google Scholar 

  8. Gries, D., and J. Prins. A new notion of encapsulation. Proc. SIGPLAN 85 Symposium on Language Issues in Programming Environments. Seattle, Washington, June 1985, 131–139.

    Chapter  Google Scholar 

  9. Gries, D., and J. Prins. McLaren’s masterpiece. Science of Computer Programming 8 (1987), 139–145.

    Article  MATH  Google Scholar 

  10. Gries, D., and J. van de Snepscheut. Inorder traversal of a binary tree and its inversion. Tech. Rpt. 87–876, Computer Science Department, Cornell University, November 1987.

    Google Scholar 

  11. Gries, D., and D. Volpano. The Transform -a new language construct. Structured Programming 11 (January 1990), 1–10.

    Google Scholar 

  12. Hoare, C.A.R. Proof of correctness of data representations. Acta Informatica 1 (1972), 271–281.

    Article  MATH  Google Scholar 

  13. Knuth, D.E. The Art of Programming, Vol I, Fundamental Algorithms. Addison-Wesley, Reading, 1963.

    Google Scholar 

  14. Lutz, E. IPL.

    Google Scholar 

  15. Morgan, C. Data refinement by miracles. IPL 26 (1987), 243–246.

    Article  Google Scholar 

  16. Morgan, C., and P.H.B. Gardiner. Data refinement by calculation. Acta Informatica 27, (1990), 481–503.

    Article  MATH  MathSciNet  Google Scholar 

  17. Morris, J.M. The laws of data refinement. Ada Informatica 26(1989), 287–308.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science, Cornell University, Ithaca, New York, 14853, USA

    David Gries

Authors
  1. David Gries
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Technische Universität München, Postfach 202420, München 2, W-8000, Germany

    Manfred Broy

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gries, D. (1992). Lectures on Data Refinement. In: Broy, M. (eds) Programming and Mathematical Method. NATO ASI Series, vol 88. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77572-7_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-77572-7_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-77574-1

  • Online ISBN: 978-3-642-77572-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation