Skip to main content
SpringerLink
Log in

Source-to-source conversion based on formal definition

  • Regular Papers
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. P. F. Albrechtet al., Source-to-source translation: Ada to Pascal and Pascal to Ada.ACM SIGPLAN Notices,15:12(1980), 183–193.

    Article  MathSciNet  Google Scholar 

  2. J. G. Slape and P. J. L. Wallis, Conversion of Fortran to Ada using an intermediate tree representation.The Computer Journal,26:4 (1983), 344–353.

    MATH  Google Scholar 

  3. Zheng Goulianget al., The Automatic Conversion Tool From Pascal To Modula-2. Collectanea for computer software tools, technique and environment, 1985.

  4. Zhou Changle, A translating tool of PASCAL into C: The PTOC software.Computer Research and Development,24:3 (1987).

  5. Zhang Xing’er, The canonical abstract syntax and direct generation of abstract syntax tree.Chinese J. Computers,13: 12 (1990).

    Google Scholar 

  6. Zhang Xing’eret al., Implementation of the abnormal exit from procedure.Microelectronics and Computer,7: 6 (1990), 7–10.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Nanjing University, 210008, Nanjing

    Zhang Xing’er & Zhu Xiaojun

  2. Jiangsu Research Institute of Computing Technology, 210000, Nanjing

    Li Jianxin

  3. Institute of Computer, Zijin Information Industry Corp., 210000, Nanjing

    Dong Jianning

Authors
  1. Zhang Xing’er
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhu Xiaojun
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Li Jianxin
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Dong Jianning
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhang, X., Zhu, X., Li, J. et al. Source-to-source conversion based on formal definition. J. of Comput. Sci. & Technol. 6, 178–184 (1991). https://doi.org/10.1007/BF02945369

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02945369

Keywords

Search

Navigation