Sciweavers

FM
2006
Springer

Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions

14 years 2 months ago
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
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.
Ioannis T. Kassios
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where FM
Authors Ioannis T. Kassios
Comments (0)