The Declarative Semantics of Logical Read-Only Variables

G. Levi,C. Palamidessi
Abstract:
What problem does this paper attempt to address?