A Generation Device of C Language Programming Design Based on Python
Xiaoming He
Haiqiang Geng
Lei Ding
Xiangrong Wan
DOI: https://doi.org/10.59429/esta.v10i5.1412
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.