@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},
	biburl = {http://www.bibsonomy.org/bibtex/226a30febd2da27a29fc0b981b1e1de35/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1111037.1111046}, isbn = {1-59593-027-2}, date = {2006-02-21},
	keywords = {dblp }
}