A framework of a logic-based transformation system.

Jeffrey J. P. Tsai, Ray-Yuan Sheu, Bing Li

Browse the full COMPSAC paper archive.