CN106371887B - 一种msvl语言的编译系统及方法 - Google Patents
一种msvl语言的编译系统及方法 Download PDFInfo
- Publication number
- CN106371887B CN106371887B CN201610980621.XA CN201610980621A CN106371887B CN 106371887 B CN106371887 B CN 106371887B CN 201610980621 A CN201610980621 A CN 201610980621A CN 106371887 B CN106371887 B CN 106371887B
- 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.)
- Active
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 (7)
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 CN106371887A (zh) | 2017-02-01 |
CN106371887B true 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) |
Families Citing this family (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108037913B (zh) * | 2017-12-21 | 2021-08-17 | 西安邮电大学 | xUML4MC模型到MSVL语言程序的转换方法、计算机可读存储介质 |
CN110018816B (zh) * | 2019-04-12 | 2022-04-22 | 王晨 | 一种基于c/c++编译系统的虚拟机控制系统及其控制方法 |
CN110119275B (zh) * | 2019-05-13 | 2021-04-02 | 电子科技大学 | 一种分布式内存列式数据库编译执行器架构 |
CN110647360B (zh) * | 2019-08-20 | 2022-05-03 | 百度在线网络技术(北京)有限公司 | 协处理器的设备执行代码的处理方法、装置、设备及计算机可读存储介质 |
CN112445465B (zh) * | 2019-08-28 | 2022-09-13 | 无锡江南计算技术研究所 | 基于c代码生成的神经网络模型推理和训练方法 |
CN111091612B (zh) * | 2019-10-09 | 2023-06-02 | 武汉凌久微电子有限公司 | 一种抽象目标码架构的着色语言机器码生成方法及装置 |
CN110825384A (zh) * | 2019-10-28 | 2020-02-21 | 国电南瑞科技股份有限公司 | 一种基于llvm的st语言编译方法及编译系统和编译器 |
CN111309752B (zh) * | 2019-11-26 | 2023-04-25 | 上海金融期货信息技术有限公司 | 面向业务流式数据处理的领域特定语言组件及其运作方法 |
CN112685315A (zh) * | 2021-01-05 | 2021-04-20 | 电子科技大学 | 面向c源码的自动化形式化验证工具及方法 |
CN113238759B (zh) * | 2021-04-14 | 2023-02-03 | 西安电子科技大学 | 一种类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 |
---|
"基于LLVM的编译原理简明教程 (1) - 写编译器越来越容易了";Jtag特工;《简书》;20160902;1-12 * |
Also Published As
Publication number | Publication date |
---|---|
CN106371887A (zh) | 2017-02-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN106371887B (zh) | 一种msvl语言的编译系统及方法 | |
CN112100054B (zh) | 一种面向数据管控的程序静态分析方法和系统 | |
Agrawal et al. | An end-to-end domain-driven software development framework | |
US8522221B1 (en) | Techniques for automatic generation of instruction-set documentation | |
CN101458633A (zh) | 通过脚本程序访问宿主程序的方法及其系统和装置 | |
CN110333867B (zh) | 一种多方安全计算数据处理方法、装置及系统 | |
Ceng et al. | C compiler retargeting based on instruction semantics models | |
CN104731705B (zh) | 一种基于复杂网络的脏数据传播路径发现方法 | |
CN107203406B (zh) | 一种面向分布式存储结构的处理方法 | |
dos Santos et al. | Verifying object-based graph grammars | |
Lee et al. | A New Integrated Software Development Environment Based on SDL, MSC, and CHILL for Large‐scale Switching Systems | |
Beg et al. | Development of a prototype translator from Circus to CSPm | |
Zhang | An Approach for Extracting UML Diagram from Object-Oriented Program Based on J2X | |
US20090112568A1 (en) | Method for Generating a Simulation Program Which Can Be Executed On a Host Computer | |
Srinivasan et al. | Enhancing object-oriented programming comprehension using optimized sequence diagram | |
Basit-Ur-Rahim et al. | Formal verification of sequence diagram using DiVinE | |
Dumez et al. | Formal specification and verification of service composition using LOTOS | |
de Boer et al. | Termination detection for active objects | |
Cogumbreiro et al. | Safe-by-design programming languages for wireless sensor networks | |
Sassa et al. | Rie, a compiler generator based on a one‐pass‐type attribute grammar | |
Lima et al. | A formal semantics for sequence diagrams and a strategy for system analysis | |
Holenderski et al. | Synchronie workbench | |
Castro | Structured arrows: a type-based framework for structured parallelism | |
Garner et al. | Adding CSPm Functions and Data Types to CSP++ | |
Chakraborty | Object-Oriented Compilers: A Review. |
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 |