Immutability specification and its applications

@article{Pechtchanski2005ImmutabilitySA,
  title={Immutability specification and its applications},
  author={Igor Pechtchanski and Vivek Sarkar},
  journal={Concurrency and Computation: Practice and Experience},
  year={2005},
  volume={17}
}
A location is said to be immutable if its value and the values of selected locations reachable from it are guaranteed to remain unchanged during a specified time interval. We introduce a framework for immutability specification, and discuss its application to code optimization. Compared with a final declaration, an immutability assertion in our framework can express a richer set of immutability properties along three dimensions—lifetime, reachability and context. We present a framework for… Expand
9 Citations

References

SHOWING 1-10 OF 22 REFERENCES
...
1
2
3
...