软件移植工具：形式描述及实例研究

在本文中,我们提出了一个对软件移植工具的形式描述,并讨论了实现软件移植工具CTY的若干关键问题及其解决方法。