Aliasing among pointers in EUCLID

https://doi.org/10.1016/0020-0190(79)90132-7Get rights and content

First page preview

First page preview
Click to open first page preview

References (10)

  • R. Cartwright et al.

    Unrestricted procedure calls in Hoare's logic

    Proc. Fifth Annual ACM Symposium on Principles of Programming Languages

    (1978)
  • J. Guttag et al.

    A proof rule for EUCLID procedures

  • C.A.R. Hoare

    An axiomatic basis for computer programming

    Comm. ACM

    (1969)
  • C.A.R. Hoare et al.

    An axiomatic definition of the programming language PASCAL

    Acta Informat.

    (1973)
  • B. Lampson et al.

    Report on the programming language EUCLID

    SIGPLAN Notices

    (1977)
There are more references available in the full text version of this article.

Cited by (0)

This work was supported in part by a Veizmann Post-Doctoral Fellowship at the Weizmann Institute of Science.

∗∗

The majority of this work was carried out while the author was employed at the Information Sciences Institute, 4676 Admiralty Way, Marantel Rey, CA, USA. Address from September 1979: Computer Science Laboratory, SRI International, Ravenswood Ave., Menlo Park, CA 94025, USA.

View full text