A Generation Device of C Language Programming Design Based on Python

  • Xiaoming He
  • Haiqiang Geng
  • Lei Ding
  • Xiangrong Wan
Keywords: C Language Programming; Python; Specification

Abstract

In the design process of C language programs, it is generally necessary to follow the basic syntax of C language.And in some fields, the design process of C language programs also needs to follow basic industry standards, such as the MISRA C specification in the automotive electronics field.For handwritten code, it is difficult to keep each line of program written in compliance with these specifications.This paper presents a python-based C language generator.This device is implemented by python, through which some C language programs conforming to certain specifications can be implemented, such as variable definition, macro definition, structure type definition, enumeration type definition, etc.

References

Kondratyev D. A. & Nepomniaschy V. A..(2022).Automation of C Program Deductive Verification without Using Loop Invariants. Programming and Computer Software(5).

Hu MZ & Zhang Y.(2022).An empirical study of the Python/C API on evolution and bug patterns. Journal of Software: Evolution and Process(2).

Dai P, Wang YW, Jin DH, Gong YZ & Yang WJ.(2022). An improving approach to analyzing change impact of C programs. Computer Communications.

Lennart Beringer & Andrew W. Appel.(2021).Abstraction and subsumption in modular verification of C programs. Formal Methods in System Design (prepublish).

Jim Pivarski, Peter Elmer & David Lange.(2020).Awkward Arrays in Python, C++, and Numba. EPJ Web of Conferences.

Published
2024-02-03
Section
Articles