A deductive program transformation system.

Phillip C.-Y. Sheu, Song Bong Yoo

Browse the full SEKE paper archive.