Dynamic frames: Support for framing, dependencies and sharing without restrictions (2005)
Cached
Download Links
- [www.sct.inf.ethz.ch]
- [sct.inf.ethz.ch]
- [www.sct.inf.ethz.ch]
- [sct.inf.ethz.ch]
- [n.ethz.ch]
- DBLP
Other Repositories/Bibliography
by
Ioannis T. Kassios
| Citations: | 54 - 0 self |
BibTeX
@TECHREPORT{Kassios05dynamicframes:,
author = {Ioannis T. Kassios},
title = {Dynamic frames: Support for framing, dependencies and sharing without restrictions},
institution = {},
year = {2005}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introduced. It is shown how a programming theory with dynamic frames supports both features, without the use of alias control or any other kind of restriction. In contrast, other approaches introduce a number of restrictions to the programs to ensure soundness.
