Skip to main content
SpringerLink
Log in

A note on files in pascal

  • Scientific Notes
  • Published:
BIT Numerical Mathematics Aims and scope Submit manuscript

Abstract

This note describes a small change in the treatment of files in PASCAL which would permit an abstract model and proof rules which are simpler and more convenient than those now possible.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. K. Jensen and N. Wirth,PASCAL User Manual and Report, Lecture Notes in Computer Science, vol. 18 (1974) and Springer Study Edition (1975); Springer-Verlag (Berlin, Heidelberg, New York).

    Google Scholar 

  2. N. Wirth,The design of a PASCAL compiler, Software — Practice and Experience 1 (1971), 309–333.

    Google Scholar 

  3. N. Wirth,Systematic Programming, Prentice-Hall (Englewood Cliffs, N.J.), 1973.

    Google Scholar 

  4. N. Wirth,Algorithms =Programs, Prentice-Hall (Englewood Cliffs, N.J.), 1976.

    Google Scholar 

  5. C. A. R. Hoare and N. Wirth,An axiomatic definition of the programming language PASCAL, Acta Informatica 2 (1973), 335–355.

    Article  Google Scholar 

  6. N. Wirth,An assessment of the programming language PASCAL, IEEE Transactions on Software Engineering SE-1, 2 (1975), 192–198.

    Google Scholar 

  7. R. D. Tennent,Language design methods based on semantic principles, Acta Informatica 8 (1977), 97–112.

    Article  Google Scholar 

  8. C. Strachey,Fundamental concepts in programming languages, Notes for the 1967 International Summer School in Computer Programming, Copenhagen (unpublished).

  9. D. Park,Some semantics for data structures, Machine Intelligence 3, 351–371, D. Michie (ed.), American Elsevier (New York), 1968.

    Google Scholar 

  10. J. C. Reynolds,GEDANKEN — a simple typeless language based on the principle of completeness and the reference concept, Communications of the ACM 13, 5 (1970), 308–319.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computing and Information Science, Queen's University, Kingston, Ontario, Canada

    R. D. Tennent

Authors
  1. R. D. Tennent
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Tennent, R.D. A note on files in pascal. BIT 17, 362–366 (1977). https://doi.org/10.1007/BF01932158

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01932158

Keywords

Search

Navigation