@conference {598, title = {Information Flow in Object-Oriented Software}, booktitle = {Proceedings of the 24th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR)}, year = {2014}, author = {Bernhard Beckert and Daniel Bruns and Vladimir Klebanov and Christoph Scheben and Peter H. Schmitt and Matthias Ulbrich} }