A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions.

Sri Hari Krishna Narayanan Mahmut T. Kandemir A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions. 185-198 2008 Ada-Europe http://dx.doi.org/10.1007/978-3-540-68624-8_14 conf/adaEurope/2008 db/conf/adaEurope/adaEurope2008.html#NarayananK08