A Multi-task Compiler Method Based on Graphical Guardian Command Calculus
A compilation method and a graphical technology, which can be used in code compilation, calculation, program code conversion, etc., and can solve problems such as insufficient AADL expression ability.
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0191] The present invention will be further described below in conjunction with accompanying drawing:
[0192] The present invention relates to a method for automatically compiling and generating executable multi-task Ada / C codes through graphical guard-style command calculus GCC_graph. For the GCC_graph program input by designers, the compiler automatically compiles it to generate corresponding executable multi-task Ada / C codes. code. All the functions of the compiler are implemented by the functional programming language CAML programming. Since CAML is a safe language, the CAML program is verified by its own compiler before execution. In addition, the compiler designed by the present invention uses a modular structure, and once the requirements change, only the corresponding modules need to be modified.
[0193] The invention defines the formal syntax and formal semantics of the graphical guard command calculus GCC_graph. The GCC_graph compiler, based on modular structure...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com