Merging Target Program Parts in the Polytope Model.

Mohamed Jemni, Yosr Slama

Browse the full PDPTA paper archive.