46 citations · 130 across the 11 of their papers we have counts for
1 paper · 1 filter
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
Program transformations are widely used in synthesis, optimization, and maintenance of software. Correctness of program transformations depends on preservation of some important pr…