CN106371887A - 一种msvl语言的编译系统及方法 - Google Patents
一种msvl语言的编译系统及方法 Download PDFInfo
- Publication number
- CN106371887A CN106371887A CN201610980621.XA CN201610980621A CN106371887A CN 106371887 A CN106371887 A CN 106371887A CN 201610980621 A CN201610980621 A CN 201610980621A CN 106371887 A CN106371887 A CN 106371887A
- Authority
- CN
- China
- Prior art keywords
- msvl
- program
- sentence
- language
- statement
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/44—Encoding
- G06F8/447—Target code generation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/44—Encoding
- G06F8/443—Optimisation
- G06F8/4441—Reducing the execution time required by the program code
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
Description
程序 | 解释器执行时间(秒) | 编译器执行时间(秒) |
Sys(35377行) | 199 | 2 |
Mcml(36281行) | 1600 | 8 |
Sha(44577行) | 174 | 2 |
Cf_Fir(37473行) | 400 | 4 |
Cf_Cordic(20257行) | 370 | 4 |
LTLNfBA(8887行0 | 300 | 1 |
24组合数(1000行) | 320 | 0.8 |
Claims (9)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610980621.XA CN106371887B (zh) | 2016-11-08 | 2016-11-08 | 一种msvl语言的编译系统及方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610980621.XA CN106371887B (zh) | 2016-11-08 | 2016-11-08 | 一种msvl语言的编译系统及方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN106371887A true CN106371887A (zh) | 2017-02-01 |
CN106371887B CN106371887B (zh) | 2019-09-13 |
Family
ID=57893407
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201610980621.XA Active CN106371887B (zh) | 2016-11-08 | 2016-11-08 | 一种msvl语言的编译系统及方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN106371887B (zh) |
Cited By (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108037913A (zh) * | 2017-12-21 | 2018-05-15 | 西安邮电大学 | 一种xUML4MC模型到MSVL语言程序的转换方法、计算机程序 |
CN110018816A (zh) * | 2019-04-12 | 2019-07-16 | 王晨 | 一种基于c/c++编译系统的虚拟机控制系统及其控制方法 |
CN110119275A (zh) * | 2019-05-13 | 2019-08-13 | 电子科技大学 | 一种分布式内存列式数据库编译执行器架构 |
CN110647360A (zh) * | 2019-08-20 | 2020-01-03 | 百度在线网络技术(北京)有限公司 | 协处理器的设备执行代码的处理方法、装置、设备及计算机可读存储介质 |
CN110825384A (zh) * | 2019-10-28 | 2020-02-21 | 国电南瑞科技股份有限公司 | 一种基于llvm的st语言编译方法及编译系统和编译器 |
CN111091612A (zh) * | 2019-10-09 | 2020-05-01 | 中国船舶重工集团公司第七0九研究所 | 一种抽象目标码架构的着色语言机器码生成方法及装置 |
CN111309752A (zh) * | 2019-11-26 | 2020-06-19 | 上海金融期货信息技术有限公司 | 面向业务流式数据处理的领域特定语言组件及其运作方法 |
CN112445465A (zh) * | 2019-08-28 | 2021-03-05 | 无锡江南计算技术研究所 | 基于c代码生成的神经网络模型推理和训练方法 |
CN112685315A (zh) * | 2021-01-05 | 2021-04-20 | 电子科技大学 | 面向c源码的自动化形式化验证工具及方法 |
CN113238759A (zh) * | 2021-04-14 | 2021-08-10 | 西安电子科技大学 | 一种类Python程序设计语言XD-M的解释系统及方法 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR20000066025A (ko) * | 1999-04-12 | 2000-11-15 | 김영환 | 인증센터 및 hlr에서 보낸 인증 관련 데이터 수집 방법 |
CN102799520A (zh) * | 2012-06-27 | 2012-11-28 | 清华大学 | 用于源代码配对的静态检查方法及装置 |
CN103631632A (zh) * | 2013-11-29 | 2014-03-12 | 华为技术有限公司 | 移植方法及源到源编译器 |
CN105912381A (zh) * | 2016-04-27 | 2016-08-31 | 华中科技大学 | 一种基于规则库的编译期代码安全检测方法 |
-
2016
- 2016-11-08 CN CN201610980621.XA patent/CN106371887B/zh active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR20000066025A (ko) * | 1999-04-12 | 2000-11-15 | 김영환 | 인증센터 및 hlr에서 보낸 인증 관련 데이터 수집 방법 |
CN102799520A (zh) * | 2012-06-27 | 2012-11-28 | 清华大学 | 用于源代码配对的静态检查方法及装置 |
CN103631632A (zh) * | 2013-11-29 | 2014-03-12 | 华为技术有限公司 | 移植方法及源到源编译器 |
CN105912381A (zh) * | 2016-04-27 | 2016-08-31 | 华中科技大学 | 一种基于规则库的编译期代码安全检测方法 |
Non-Patent Citations (1)
Title |
---|
JTAG特工: ""基于LLVM的编译原理简明教程 (1) - 写编译器越来越容易了"", 《简书》 * |
Cited By (17)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108037913A (zh) * | 2017-12-21 | 2018-05-15 | 西安邮电大学 | 一种xUML4MC模型到MSVL语言程序的转换方法、计算机程序 |
CN108037913B (zh) * | 2017-12-21 | 2021-08-17 | 西安邮电大学 | xUML4MC模型到MSVL语言程序的转换方法、计算机可读存储介质 |
CN110018816A (zh) * | 2019-04-12 | 2019-07-16 | 王晨 | 一种基于c/c++编译系统的虚拟机控制系统及其控制方法 |
CN110018816B (zh) * | 2019-04-12 | 2022-04-22 | 王晨 | 一种基于c/c++编译系统的虚拟机控制系统及其控制方法 |
CN110119275B (zh) * | 2019-05-13 | 2021-04-02 | 电子科技大学 | 一种分布式内存列式数据库编译执行器架构 |
CN110119275A (zh) * | 2019-05-13 | 2019-08-13 | 电子科技大学 | 一种分布式内存列式数据库编译执行器架构 |
CN110647360A (zh) * | 2019-08-20 | 2020-01-03 | 百度在线网络技术(北京)有限公司 | 协处理器的设备执行代码的处理方法、装置、设备及计算机可读存储介质 |
CN110647360B (zh) * | 2019-08-20 | 2022-05-03 | 百度在线网络技术(北京)有限公司 | 协处理器的设备执行代码的处理方法、装置、设备及计算机可读存储介质 |
CN112445465A (zh) * | 2019-08-28 | 2021-03-05 | 无锡江南计算技术研究所 | 基于c代码生成的神经网络模型推理和训练方法 |
CN112445465B (zh) * | 2019-08-28 | 2022-09-13 | 无锡江南计算技术研究所 | 基于c代码生成的神经网络模型推理和训练方法 |
CN111091612A (zh) * | 2019-10-09 | 2020-05-01 | 中国船舶重工集团公司第七0九研究所 | 一种抽象目标码架构的着色语言机器码生成方法及装置 |
CN111091612B (zh) * | 2019-10-09 | 2023-06-02 | 武汉凌久微电子有限公司 | 一种抽象目标码架构的着色语言机器码生成方法及装置 |
CN110825384A (zh) * | 2019-10-28 | 2020-02-21 | 国电南瑞科技股份有限公司 | 一种基于llvm的st语言编译方法及编译系统和编译器 |
CN111309752A (zh) * | 2019-11-26 | 2020-06-19 | 上海金融期货信息技术有限公司 | 面向业务流式数据处理的领域特定语言组件及其运作方法 |
CN111309752B (zh) * | 2019-11-26 | 2023-04-25 | 上海金融期货信息技术有限公司 | 面向业务流式数据处理的领域特定语言组件及其运作方法 |
CN112685315A (zh) * | 2021-01-05 | 2021-04-20 | 电子科技大学 | 面向c源码的自动化形式化验证工具及方法 |
CN113238759A (zh) * | 2021-04-14 | 2021-08-10 | 西安电子科技大学 | 一种类Python程序设计语言XD-M的解释系统及方法 |
Also Published As
Publication number | Publication date |
---|---|
CN106371887B (zh) | 2019-09-13 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN106371887B (zh) | 一种msvl语言的编译系统及方法 | |
CN112100054B (zh) | 一种面向数据管控的程序静态分析方法和系统 | |
Mauw et al. | A process specification formalism | |
Mikk et al. | Implementing statecharts in PROMELA/SPIN | |
Agrawal et al. | An end-to-end domain-driven software development framework | |
Börger | The Origins and the Development of the ASM Method for High Level System Design and Analysis. | |
Feautrier et al. | Accelerated invariant generation for c programs with aspic and c2fsm | |
Körner et al. | Fifty years of Prolog and beyond | |
Lohmann et al. | Comparing and evaluating Petri net semantics for BPEL | |
Dragomir et al. | Model checking kernel P systems | |
CN106843849A (zh) | 一种基于文档的库函数的代码模型的自动合成方法 | |
Nogueira et al. | Test case generation, selection and coverage from natural language | |
Oliveira et al. | Supporting model refinement with equivalence checking in the context of model-driven engineering with uml-rt | |
dos Santos et al. | Verifying object-based graph grammars | |
Amadio et al. | Certifying and reasoning on cost annotations of functional programs | |
CN107203406A (zh) | 一种面向分布式存储结构的处理方法 | |
Matoussi et al. | A mapping approach between IR and binary CFGs dealing with aggressive compiler optimizations for performance estimation | |
Arusoaie | A generic framework for symbolic execution: theory and applications | |
Zhang | An Approach for Extracting UML Diagram from Object-Oriented Program Based on J2X | |
Tretter et al. | Executing dataflow actors as Kahn processes | |
US20090112568A1 (en) | Method for Generating a Simulation Program Which Can Be Executed On a Host Computer | |
Chen et al. | A Conversion Framework of the Continuous Modeling Languages Based on ANTLR4 | |
Basit-Ur-Rahim et al. | Formal verification of sequence diagram using DiVinE | |
Yin et al. | The Implementation of Simple Smart Contract Language and Its Compiler Based on Ethereum Platform | |
CN102646053B (zh) | 基于算术表达式的msvl柱面计算方法和系统 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant | ||
CB03 | Change of inventor or designer information | ||
CB03 | Change of inventor or designer information |
Inventor after: Duan Zhenhua Inventor after: Yang Kai Inventor after: Tian Cong Inventor after: Zhang Nan Inventor after: Shi Yifang Inventor after: Wang Xiaobing Inventor after: Huang Bohu Inventor after: Gu Bin Inventor after: Jiang Yunsong Inventor before: Duan Zhenhua Inventor before: Yang Kai Inventor before: Tian Cong Inventor before: Zhang Nan Inventor before: Shi Yifang Inventor before: Wang Xiaobing Inventor before: Huang Bohu |