Source-to-Source Conversion Based on Formal Definition
张幸儿, 朱晓军, 李建新, 董建宁 · 1991
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 languages.The issues in conversion from PASCAL to C are also discussed.