Abstract Program Transformation by Solving Recurrences

by Beatrice Luca , Stefan Andrei , Hugh Anderson , Siau-cheng Khoo
Citations:2 - 0 self