46 citations · 141 across the 22 of their papers we have counts for
1 paper · 2 filters
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…