Klimov A.V. Construction of Exact Polyhedral Model for Affine Programs with Data Dependent Conditions. Fourth International Valentin Turchin Workshop on Metacomputation. Proceedings of the Fourth International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky. Russia, Pereslavl Zalessky: Publishing House University of Pereslavl. 2014. 256 p.