@article{DBLP:journals/toplas/SmansJP12, author = {Jan Smans and Bart Jacobs and Frank Piessens}, title = {Implicit dynamic frames}, journal = {ACM Trans. Program. Lang. Syst.}, volume = {34}, number = {1}, year = {2012}, pages = {2}, ee = {http://doi.acm.org/10.1145/2160910.2160911}, bibsource = {DBLP, http://dblp.uni-trier.de} }