Out-of-bounds pointers

[Richard Tobin]

In article <11265 at smoke.BRL.MIL> gwyn at brl.arpa (Doug Gwyn) writes:
>Not at all.  In any block-structured language with pointers,
>it is obvious how to have a valid pointer suddenly become invalid.

Doug is quite right as far as C goes - just take the address of an
automatic variable.  But it's not true for *any* block-structured 
language with pointers, because the language can prevent it.  Algol 68
is an example of such a language.  (REF != pointer flames >/dev/null)

-- Richard


-- 
Richard Tobin,                       JANET: R.Tobin at uk.ac.ed             
AI Applications Institute,           ARPA:  R.Tobin%uk.ac.ed at nsfnet-relay.ac.uk
Edinburgh University.                UUCP:  ...!ukc!ed.ac.uk!R.Tobin