FM
2006
Springer
14 years 2 months ago
2006
Springer
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introd...