Source-to-Source Conversion Based on Formal Definition

• 作 者: 张幸儿 朱晓军 李建新 董建宁
• 机 构: Department of Computer Science Nanjing University,Nanjing 210008,Department of Computer Science,Nanj
• 出 处: Journal of Computer Science and Technology
• 发表日期: 1991年02期
• 关键词: Conversion PASCAL formal syntax heterogeneous label assignment interactive state

This paper proposes the idea of source-to-source conversion between two heterogeneous high-levelprogramming 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.

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.