Skip to main content
SpringerLink
Log in

Types, Bindings and Parameters in a Persistent Environment

  • Conference paper
Data Types and Persistence

Part of the book series: Topics in Information Systems ((TINF))

Abstract

Our experience of persistent data in PS-algol [ABCCM83] and surveys we have conducted [AB85] [ABCCM81] have led us to identify various requirements on the stores embodied in the design of a programming language. Axiomatic in our approach to language design are:

  1. (i)

    languages should be strictly typed;

  2. (ii)

    type systems can be discovered that will permit total systems to be built, strictly typed throughout;

  3. (iii)

    languages should eventually provide convenient and consistent notations for all activities inherent in programming.

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
Hardcover Book
USD 109.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. Atkinson, M.P. and Morrison, R., Persistent First Class Procedures are Enough, in Proc. 4th International Conference on the Foundations of Software Technology and Theoretical Computer Science, Joseph, M., and Shyamasundar, R. (Eds.), Lecture Notes in Computer Science, No. 181, pp. 223–240, Springer-Verlag, 1984.

    Google Scholar 

  2. Atkinson, MP., and Buneman, O.P., “Data Base Programming Language Design.” Technical Report, University of Glasgow Department of Computer Science, Glasgow, Scotland, 1985.

    Google Scholar 

  3. Atkinson, M.P., Bailey, P.J., Cockshott, W.P., Chisholm, K.J., and Morrison, R., Progress with Persistent Programming, Technical Report PPR-8–81, Computer Science Dept., University of Edinburgh.

    Google Scholar 

  4. Atkinson, M.P., Bailey, P.J., Chisholm, K.J., Cockshott, W.P., and Morrison, R., An approach to persistent programming, The Computer Journal, Vol. 26, No. 4, November 1983, pp. 360–365.

    MATH  Google Scholar 

  5. Albano, A., Occhiuto,M.E., and Orsini, R., A Uniform Management of Persistent and Complex Data in Programming Languages, In Atkinson, M.P. (editor), Pergammon Infotech State of The Art Report, Series 9, Number 4: Database, 321–344. Pergammon Infotech, Maidenhead, England, 1982.

    Google Scholar 

  6. Cardelli, L., Amber In Combinators and Functional Programming Languages, Proc. of the 13th summer school of LITP. Le Val D’Ajol, Vosges, France, May, 1985.

    Google Scholar 

  7. Demers, A., and Donahue, J., Revised Report on Russell, TR 79–389, Dept. of Computer Science, Cornell University.

    Google Scholar 

  8. Landin, P.J. The Next 700 Programming Languages CACM 9,3 pp 157–164

    Google Scholar 

  9. Liskov, B., Herlihy, M., Johnston, P., Leavens, G., Scheifler, R. and Weihl, W. Preliminary Argus Manual Technical Report Memo 39 (1983) M.I.T.

    Google Scholar 

  10. Matthews, D.C.J., Poly Manual, SIGPLAN Notices, Vol. 20, No. 9, September 1985

    Google Scholar 

  11. McCarthy et al. Lisp 1.5 Programmers Manual M.I.T. Press Cambridge Massechussetts

    Google Scholar 

  12. Milner, R., A proposal for Standard ML, In Proc. of the 1984 ACM Symposium on Lisp and Functional Programming, Austin, Texas, August 1984.

    Google Scholar 

  13. Mylopolous, J. and Wong, H.K.T. Some Features of the TAXIS Data Model 6th International Conference on Very Large Data Bases (1980) Montreal.

    Google Scholar 

  14. Naur, P. Revised Report on the Algorithmic Language Algol 60 CACM 6,1 pp 1–17

    Google Scholar 

  15. PS-algol Reference Manual., Fourth Edition, Persistent Programming Research Report 12, Dept. of Computing Science, University of Glasgow and Dept. of Computational Science, University of St. Andrews, 1985.

    Google Scholar 

  16. Rowe, L. Reference Manual for the Programming Language RIGEL Technical Report of the University of California at Berkeley.

    Google Scholar 

  17. Schmidt, J.W., Some high-level language constructs for data of type relation, ACM Transactions on Database Systems, Vol. 2, No. 3, September 1977, pp. 247–261.

    Article  Google Scholar 

  18. Schmidt, J.W. Type Concepts for Database Definition in Datbases: Improving their usability and responsiveness, Academic Press (1978).

    Google Scholar 

  19. Smith, J.M., Fox, S., and Landers, T., AD APLEX: Rationale and Reference Manual second edition, Computer Corporation of America, Four Cambridge Center, Cambridge, Massachusetts 02142, 1983.

    Google Scholar 

  20. Shopiro, J.E. THESEUS — a programming language for relational databases ACM TODS 4,4 (1979)

    Google Scholar 

  21. Tennent, R.D. Language Design Methods Based on Semantic Principles Acta Informatica 8 (1977) pp 97–112

    Article  MathSciNet  MATH  Google Scholar 

  22. Turner, D.QA. SASL Language Manual, University of St. Andrews CS/79/3 (1979)

    Google Scholar 

  23. van Wijngaarden, A., et al, The Revised Report on the Algorithmic Language Algol 68, Springer Verlag 1975

    Google Scholar 

  24. Wirth, N. The Programming Language Pascal Acta Informatica 1,1 (1971) pp 35–63

    Article  MathSciNet  MATH  Google Scholar 

  25. Wasserman, A.I., Shertz, D.D., Kersten, M.L., Reit, R.P., and van de Dippe, M.D., Revised Report on the Programming Language PLAIN, ACM SIGPLAN Notices, 1981

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Glasgow, Scotland

    Malcolm P. Atkinson

  2. University of St Andrews, Scotland

    Ronald Morrison

Authors
  1. Malcolm P. Atkinson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ronald Morrison
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing Science, University of Glasgow, 14, Lilybank Gardens, Glasgow, G12 8QQ, Scotland

    Malcolm P. Atkinson

  2. Department of Computer Information Science, The Moore School of Electrical Engineering, University of Pennsylvania, Philadelphia, PA, 19104-3897, USA

    Peter Buneman

  3. Department of Computational Science, University of St. Andrews, North Haugh, St. Andrews, Fife, KY16 9SS, Scotland

    Ronald Morrison

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Atkinson, M.P., Morrison, R. (1988). Types, Bindings and Parameters in a Persistent Environment. In: Atkinson, M.P., Buneman, P., Morrison, R. (eds) Data Types and Persistence. Topics in Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-61556-6_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-61556-6_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-64870-0

  • Online ISBN: 978-3-642-61556-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation