摘要: This paper proposes the idea of source-to-source conversion between two heterogeneous high-level programming languages.The conversion is based on formal definition and oriented to multi-pairs of lan- guages.The issues in conversion from PASCAL to C are also discussed.