@inproceedings{conf/popl/AmtoftBB06,
title = {A logic for information flow in object-oriented programs.},
author = {Torben Amtoft and Sruthi Bandhakavi and Anindya Banerjee},
booktitle = {POPL},
crossref = {conf/popl/2006},
editor = {J. Gregory Morrisett and Simon L. Peyton Jones},
pages = {91-102},
publisher = {ACM},
url = {http://dblp.uni-trier.de/db/conf/popl/popl2006.html#AmtoftBB06},
year = {2006},
description = {dblp},
ee = {http://doi.acm.org/10.1145/1111037.1111046}, isbn = {1-59593-027-2}, date = {2006-02-21},
keywords = {dblp }
}