Skip to main content
Springer Nature Link
Log in

Data Refinement and the Transform

  • Conference paper
Program Design Calculi

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

  • 194 Accesses

Abstract

We discuss data refinement, along with the related idea of a coordinate transformation. We develop a language feature to support the coordinate transformation, called the transform, and discuss its use in developing and re-using programs.

This work was supported jointly by the NSF and Darpa under grant ASC-88-00465. Some of the material in these lecture notes were culled from article [10], coauthored with Dennis Volpano.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Chen, W., and J.T. lidding. Towards a calculus of data refinement. In van de Snepscheut (ed.). Mathematics of Program Construction, Lecture Notes in Computer Science, Vol. 375. Springer—Verlag, 1989.

    Google Scholar 

  2. Chen, W., and J.T. Udding. Towards a calculus of data refinement. TR CS8902, computer science, University of Groningen, March 1989

    Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

  5. Graham, R.L. An efficient algorithm for determining the convex hull of a finite planar set. IPL 1 (1972), 132–133.

    Article  MATH  Google Scholar 

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

    Article  MATH  Google Scholar 

  7. 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.

    Google Scholar 

  8. Cries, D., and Jan 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 

  9. Cries, D., and I. Stojmenovic. A note on Graham’s convex hull algorithm. IPL 25, 5 (July 1987), 323–328.

    Article  Google Scholar 

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

    Google Scholar 

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

    Article  MATH  Google Scholar 

  12. Lutz, E. Some proofs of transforms. TR89–1041, Computer Science Department, Cornell, September 1989.

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  15. Richards, H., ed. Formal Development of Programs and Proofs. Addison-Wesley, 1989. (Proc. Year of Programming Institute, Austin, Texas, October 1987.)

    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, Arcisstr. 21, D-80333, München, Germany

    Manfred Broy

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gries, D. (1993). Data Refinement and the Transform. In: Broy, M. (eds) Program Design Calculi. NATO ASI Series, vol 118. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-02880-3_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-02880-3_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-08164-4

  • Online ISBN: 978-3-662-02880-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics