Advertisement

On the proper treatment or referencing, dereferencing and assignment

  • T. M. V. Janssen
  • P. van Emde Boas
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 52)

Abstract

A Floyd-like semantics is presented for the assignment statement in a fragment of ALGOL 68. The fragment considered contains array identifiers, referencing, dereferencing and conditionals. The semantics is based upon an interpretation in a model of intensional logic, without use of addresses or stores. In doing so, several ideas developed by R. Montague concerning the treatment of semantics for natural languages are applied for the first time in the area of semantics of programming languages. We also consider an operational semantics, based on the same model and prove that the Floyd-like semantics is valid with respect to the operational one and always yields the strongest postcondition.

References

  1. DE BAKKER, J.W. (1976), Correctness proofs for assignment statements, Report IW 55/76 Mathematical Centre, Amsterdam.Google Scholar
  2. FLOYD, R.W. (1967), Assigning meanings to prgrams, in J.T. SCHWARTZ (ed.) Proc. Symp. in Appl. Math. 19, Math. aspects of computer sciences, AMS. pp. 19–32.Google Scholar
  3. GALLIN, D. (1975), Intensional and higher-order modal logic, North Holland Publishing Company, Amsterdam.Google Scholar
  4. JANSSEN, T.M.V. (1976), A computer program for Montague grammar: theoretical aspects and proofs for the reduction rules, in J. GROENENDIJK & M. STOKHOF (eds.) Amsterdam papers in formal grammar 1, Proceedings of the Amsterdam colloquium on Montague grammar and related topics, pp. 154–176 Centrale Interfaculteit, University of Amsterdam.Google Scholar
  5. MONTAGUE, R. (1973), The proper treatment of quantification in ordinary English, in J. HINTIKKA, J. MORAVCSIK & P. SUPPES (eds.), Approaches to natural language, Reidel, Dordrecht; reprinted in R.H. THOMASON (1974), Formal Philosophy, Selected papers of Richard Montague, Yale University press, New Haven and London, pp. 247–270.Google Scholar
  6. PARTEE, B. (1975), Montague grammar and transformational grammar, Linguistic Inquiry 6, pp. 203–300.Google Scholar
  7. QUINE, W.V. (1960), Word and object, the M.I.T. Press, Cambridge, Mass.Google Scholar
  8. SCOTT, D. (1970), Advice and modal logic, in K. LAMBERT (ed.), Philosophical problems in logic, Reidel, Dordrecht, pp. 143–173.Google Scholar
  9. SCOTT, D. & C. STRACHEY (1971), Towards a mathematical semantics for computer languages, in J. FOX (ed.), Proc. Symp. on Computers and Automata, Polytechnic Institute of Brooklyn, pp. 19–46.Google Scholar
  10. STRACHEY, C. (1966), Towards a formal semantics, in T.B. STEEL, jr. (ed.), Formal language description languages for computer programming, North Holland Publishing Company, Amsterdam, pp. 198–220.Google Scholar
  11. VAN WIJNGAARDEN, et al. (eds.) (1976), Revised report on the algorithmic language ALGOL 68, Tract MCT 50, Mathematical Centre, Amsterdam.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • T. M. V. Janssen
    • 1
  • P. van Emde Boas
    • 2
  1. 1.Mathematical CentreAmsterdamThe Netherlands
  2. 2.Institute for Applied Mathematics / I.P.W.University of AmsterdamThe Netherlands

Personalised recommendations