Explanation system and method for Python programming language XD-M

A programming language, XD-M technology, applied in software engineering design, program code conversion, program code adaptation, etc., can solve the problems of complex syntax, lack of interactivity, and lack of portability of MSVL interpreters and compilers , to achieve the effects of improving portability, interactivity, and flexibility

Active Publication Date: 2021-08-10
XIDIAN UNIV
View PDF8 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0011] Aiming at the problems existing in the prior art, the present invention provides an interpretation system and method of the Python-like programming language XD-M, aiming ...

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Explanation system and method for Python programming language XD-M
  • Explanation system and method for Python programming language XD-M
  • Explanation system and method for Python programming language XD-M

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0081] In order to make the object, technical solution and advantages of the present invention more clear, the present invention will be further described in detail below in conjunction with the examples. It should be understood that the specific embodiments described here are only used to explain the present invention, not to limit the present invention.

[0082] Aiming at the problems existing in the prior art, the present invention provides an interpretation system and method of the Python-like programming language XD-M. The present invention will be described in detail below in conjunction with the accompanying drawings and embodiments.

[0083] Such as figure 1 As shown, the interpretation method of the XD-M language provided by the embodiment of the present invention includes the following steps:

[0084] S101, the lexical analyzer identifies the matching character sequence pattern from the XD-M source program, if the matching is successful, then generates corresponding...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention belongs to the technical field of computer programming languages and application, and discloses an explanation system and method for Python programming language XD-M which comprises the following steps: for basic statements in an XD-M language and statements from a modeling simulation verification language MSVL, carrying out interpretation by a method of calling a bottom layer interface of an MSVL interpreter; for statements with XD-M language characteristics, creating an equivalent MSVL syntax tree for the statements, expanding an underlying interface, and writting an interpretation method for the statements by an underlying layer. An XD-M program written by using the XD-M language can be subjected to modeling, simulation and verification, so that the correctness, reliability and safety of the XD-M language are improved, a Python-like simple variable is used without a programming style of type declaration, and the flexibility of the XD-M program is improved; the invention depends on a MinGW development environment.

Description

technical field [0001] The invention belongs to the field of computer programming language and application technology, and in particular relates to an interpretation system and method of a Python-like programming language XD-M. Background technique [0002] At present, the scale of software and hardware systems is getting larger and larger. Due to the lack of relevant design and requirements documents for some large software and hardware systems, it is becoming more and more difficult to understand and maintain these systems. Some updates and troubleshooting operations are likely to bring potential loopholes , and cause serious security problems. Formal methods are often used to improve the correctness, reliability and security of hardware and software systems. [0003] Formal verification is based on mathematical methods to standardize and verify computer software and hardware systems. It has the characteristics of strictness and completeness, and has received extensive at...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F8/41G06F8/76
CPCG06F8/425G06F8/427G06F8/76
Inventor 段振华谷宇天张南田聪王小兵赵亮陆旭于斌张捷
Owner XIDIAN UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap