| Source-to-Source Conversion Based on Formal Definition |
| |
| 作者姓名： | Zhang Xing er Zhu Xiaojun Li Jianxin Dong Jianning |
| |
| 作者单位： | [1]DepartmentofComputerScience,NanjingUniversity,Nanjing210008 [2]JiangsuResearchInstituteofComputingTechno,NanjingUniversity,Nanjing210008 |
| |
| 摘 要： | 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.
|
| 关 键 词： | PASCAL语言 C语言 程序设计语言 高级语言转换 |
Source-to-source conversion based on formal definition |
| |
| 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. |
| |
| Authors: | Xing’er Zhang Xiaojun Zhu Jianxin Li Jianning Dong |
| |
| Affiliation: | Department of Computer Science Nanjing University; Nanjing; Department of Computer Science; Nanjing University; Jiangsu Research Institute of Computing Technology; Institute of Computer; Zijin Information Industry Corp.; |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |
