Data types as functions

  • Brian H. Mayoh
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 64)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    C.A.R. Hoare: Notes on data structuring, in [13].Google Scholar
  2. [2]
    O.J. Dahl, C.A.R. Hoare: Hierarchical program structures, in [13].Google Scholar
  3. [3]
    C.A.R: Hoare: Proof of correctness of data representations, Acta Informatica 1 (1972) 271–281.CrossRefGoogle Scholar
  4. [4]
    CLU, MESA, ALPHARD: see Comm. ACM 20 (1977) no. 8.Google Scholar
  5. [4a]
    EUCLID: SIGPLAN Notices 12 (1977) 1–79.Google Scholar
  6. [5]
    DOD requirements for high order computer programming languages, Springer Lecture Notes in Computer Science 54 (1977) 446–496.Google Scholar
  7. [6]
    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. [7]
    D. Scott: Data types as lattices, SIAM J. Comp. 5 (1976) 522–587.CrossRefGoogle Scholar
  9. [8]
    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. [9]
    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. [10]
    M. Ward: Final Algebra semantics and data type extensions, Indiana Univ. Tech. Report 65 (1977).Google Scholar
  12. [11]
    C.A.R. Hoare: Recursive data structures, Int. J. Comp. Inf. Sci. 4 (1975) 105–132.Google Scholar
  13. [12]
    Extended version of this paper. DAIMI Report 89 (1978), Aarhus University.Google Scholar
  14. [13]
    O.J. Dahl, E.W. Dijkstra, C.A.R. Hoare: Structured Programming, Academic Press 1972.Google Scholar
  15. [14]
    J. Darlington: Program transformation involving unfree data structures, 3ème Coll. Int. sur la Programmation (1978) Paris.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Brian H. Mayoh
    • 1
  1. 1.Computer Science DepartmentAarhus UniversityAarhusDenmark

Personalised recommendations