A Knowledge-based Program Transformation System

Phillip C.-Y. Sheu, Song Bong Yoo

Browse the full CaiSE paper archive.