We use cookies to improve your experience with our site.
Zhang Xing er, Zhu Xiaojun, Li Jianxin, Dong Jianning. Source-to-Source Conversion Based on Formal Definition[J]. Journal of Computer Science and Technology, 1991, 6(2): 178-184.
Citation:
Zhang Xing er, Zhu Xiaojun, Li Jianxin, Dong Jianning. Source-to-Source Conversion Based on Formal Definition[J]. Journal of Computer Science and Technology, 1991, 6(2): 178-184.
Zhang Xing er, Zhu Xiaojun, Li Jianxin, Dong Jianning. Source-to-Source Conversion Based on Formal Definition[J]. Journal of Computer Science and Technology, 1991, 6(2): 178-184.
Citation:
Zhang Xing er, Zhu Xiaojun, Li Jianxin, Dong Jianning. Source-to-Source Conversion Based on Formal Definition[J]. Journal of Computer Science and Technology, 1991, 6(2): 178-184.
Source-to-Source Conversion Based on Formal Definition
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.
DownLoad: