Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Mathematical Foundations of Computer Science

MFCS 1978: Mathematical Foundations of Computer Science 1978 pp 56–70Cite as

Data types as functions

  • Invited Lectures
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 64))

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C.A.R. Hoare: Notes on data structuring, in [13].

    Google Scholar 

  2. O.J. Dahl, C.A.R. Hoare: Hierarchical program structures, in [13].

    Google Scholar 

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

    Article  Google Scholar 

  4. CLU, MESA, ALPHARD: see Comm. ACM 20 (1977) no. 8.

    Google Scholar 

  5. EUCLID: SIGPLAN Notices 12 (1977) 1–79.

    Google Scholar 

  6. DOD requirements for high order computer programming languages, Springer Lecture Notes in Computer Science 54 (1977) 446–496.

    Google Scholar 

  7. J.A. Goguen, J.W. Thatcher, E.G. Wagner: An initial algebra approach to the specification, correctness, and implementation of abstract data types, IBM Research Report RC6487 (1977).

    Google Scholar 

  8. D. Scott: Data types as lattices, SIAM J. Comp. 5 (1976) 522–587.

    Article  Google Scholar 

  9. J.A. Goguen: Abstract errors for abstract data types. IFIP Conf. on Formal Description of Programming Concepts (1977) 21. 1–21. 32.

    Google Scholar 

  10. J. Guttag, E. Horowitz, D.R. Mosser: Abstract data types and software validation. USC Inf. Sci. Inst. Report RR-76-48 (1976).

    Google Scholar 

  11. M. Ward: Final Algebra semantics and data type extensions, Indiana Univ. Tech. Report 65 (1977).

    Google Scholar 

  12. C.A.R. Hoare: Recursive data structures, Int. J. Comp. Inf. Sci. 4 (1975) 105–132.

    Google Scholar 

  13. Extended version of this paper. DAIMI Report 89 (1978), Aarhus University.

    Google Scholar 

  14. O.J. Dahl, E.W. Dijkstra, C.A.R. Hoare: Structured Programming, Academic Press 1972.

    Google Scholar 

  15. J. Darlington: Program transformation involving unfree data structures, 3ème Coll. Int. sur la Programmation (1978) Paris.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Aarhus University, Aarhus, Denmark

    Brian H. Mayoh

Authors
  1. Brian H. Mayoh
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Winkowski

Rights and permissions

Reprints and permissions

Copyright information

© 1978 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mayoh, B.H. (1978). Data types as functions. In: Winkowski, J. (eds) Mathematical Foundations of Computer Science 1978. MFCS 1978. Lecture Notes in Computer Science, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08921-7_56

Download citation

  • DOI: https://doi.org/10.1007/3-540-08921-7_56

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08921-6

  • Online ISBN: 978-3-540-35757-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation