********************************************************************************
********************************************************************************
********************************************************************************

To: matthai@thistle.cs.washington.edu, mock@thistle.cs.washington.edu
cc: spin-comp-archive@cs
Subject: Unsafe Operations
Date: Wed, 24 Sep 1997 16:16:58 PDT
From: Brian Grant <grant@thistle.cs.washington.edu>

We should extend the static-operation annotation (@) to other unsafe
operations such as calls and divide, in addition to memory dereferences.
For calls, this would replace the constant declaration.  The per-invocation
mechanism seems easier to implement (well, we know how to do it) than the
declaration mechanism.

--Brian