Dynamic frames: Support for framing, dependencies and sharing without restrictions
Ioannis T. Kassios[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
FM 2006: Formal Methods
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 268-283
2006
Topic(s): verification
Note(s): permission logic, implicit dynamic frames
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 268-283
2006
Topic(s): verification
Note(s): permission logic, implicit dynamic frames