“语言源程序”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果433818个，建议您升级VIP下载更多相关专利

[发明专利]一种基于符号执行的路径语言转换方法-CN202310207896.X在审
发明人：余祥;舒展翔;李强;陈立哲;许庆光;张健;李腾飞 -专利权人：中国人民解放军国防科技大学
申请日： 2023-03-01 - 公布日： 2023-07-14 - 主分类号： G06F8/40 文献下载
摘要：本发明公开了一种基于符号执行的路径语言转换方法，包括构建符号执行系统的路径语言的语法系统；根据构建的路径语言的语法系统，建立源程序语句与路径语言语句的对应关系；根据得到对应关系设计源程序到路径语言程序的转换算法，对源程序进行路径语言转换。本发明通过构建符号执行系统，建立源程序语句与路径语言语句的对应关系，从而实现将源程序到路径语言程序的转换，从而为后续的软件程序测试提供测试条件。
一种基于符号执行路径语言转换方法

[发明专利]编译系统、调试系统及程序开发系统-CN200610148671.8无效
发明人：瓶子岳人;宫地凉子;道本昌平;川端辉雄;山本康博 -专利权人：松下电器产业株式会社
申请日： 2006-11-22 - 公布日： 2007-05-30 - 主分类号： G06F9/45 文献下载
摘要：本发明的目的在于提供一种编译系统、调试系统及程序开发系统，即使在进行源级的变换·优化时也可确保软件的调试容易，提高软件开发的方便性及开发效率。本发明的编译系统将高级语言描述的源程序翻译成机器语言程序，包括：源级优化器，通过对原始源程序进行源程序级的优化，将原始源程序变换成优化源程序；编译器，将优化源程序变换成机器语言程序；以及最终调试信息选择生成部，生成表示原始源程序和机器语言程序间的对应关系的最终调试信息。
编译系统调试程序开发

[发明专利]一种编译方法及编译器-CN201910155464.2有效
发明人：马锦宝;李志刚 -专利权人：中安智联未来有限公司
申请日： 2019-03-01 - 公布日： 2022-06-03 - 主分类号： G06F8/41 文献下载
摘要：本发明公开了一种编译方法及编译器，该方法包括：获取待编译的源程序；判断待编译的源程序中的语言类型以得到源程序类型，源程序类型包括IL语言程序和非IL语言程序，类型不符时，进行语言转换后，再采用词法分析方法检查程序中的错误；直到无错误信息后，则对程序进行语义分析；通过语义分析后，将程序转换成机器语言文件，并将所述机器语言文件进行分段存储；其效果是：可将源程序中的所有语言都转成IL语言，用户使用起来也更加灵活，当扩展其它语言时
一种编译方法编译器

[发明专利]代码转换方法、装置、设备、介质和程序产品-CN202310857270.3在审
发明人：何子南;王凯;李炯 -专利权人：中国工商银行股份有限公司
申请日： 2023-07-13 - 公布日： 2023-10-03 - 主分类号： G06F8/41 文献下载
摘要：该代码转换方法包括：获取源程序代码和目标程序语言，所述源程序代码是由源程序语言编写的；基于所述源程序语言和所述目标程序语言，分别获取解析器和编码器；基于所述解析器将所述源程序代码解析为中间数据；以及基于所述编码器将所述中间数据重编码，得到第一目标代码，其中，所述第一目标代码符合所述目标程序语言的编写要求。本公开还提供了一种代码转换装置、设备、存储介质和程序产品。
代码转换方法装置设备介质程序产品

[发明专利]一种动态编程语言的重构方法及装置-CN202110299206.9在审
发明人：李扬;王宁;肖玉配;屈宏远;李昌志;张嘉欢 -专利权人：北京长亭未来科技有限公司
申请日： 2021-03-21 - 公布日： 2021-06-11 - 主分类号： G06F8/30 文献下载
摘要：本发明实施例公开了一种动态编程语言的重构方法及装置，所述方法包括，重新定义原动态编程语言的语法获得新动态编程语言；对基于新动态编程语言的源程序进行语法检查；将通过语法检查的新动态编程语言的源程序生成由原动态编程语言解释器解释执行的源程序，本申请定义了一种新语言语法，降低了代码的维护成本，提高了代码质量。
一种动态编程语言方法装置

[发明专利]可编程逻辑控制器程序的测试方法、装置、设备和介质-CN201711479652.8在审
发明人：王达 -专利权人：北京天诚同创电气有限公司
申请日： 2017-12-29 - 公布日： 2018-05-18 - 主分类号： G06F11/36 文献下载
摘要：本发明实公开了可编程逻辑控制器程序的测试方法、装置、设备和介质。该方法包括：依次扫描可编程逻辑控制器PLC源程序的每个字符，识别出PLC源程序的基本词法单元；依据PLC语言的语法规则和PLC源程序的基本词法单元对PLC程序进行检测，确定PLC源程序的基本词法单元构成语法上正确的PLC程序；基于PLC语言的语法规则构建PLC程序的语法树，并确定PLC程序的语法树与编程语言的对应关系；基于PLC程序的基本单元与编程语言的对等转换表，以及PLC程序的语法树与编程语言的对应关系对PLC程序的基本单元进行语句翻译并输出基于编程语言的语句；基于编程语言的语句自动测试PLC程序。采用本发明实施例的方案，能够实现PLC程序的自动化测试。
可编程逻辑控制器程序测试方法装置设备介质

[发明专利]汇编语言源程序生成方法和系统-CN97110517.0无效
发明人：久野道明 -专利权人：夏普公司
申请日： 1997-04-10 - 公布日： 2003-05-07 - 主分类号： G06F9/45 文献下载
摘要：一种汇编语言源程序生成装置，其特征在于，根据树形结构图，使用与汇编语言种类无关的共同的自动生成规则能生成汇编语言的源程序。允许在树形结构图的条件判断框内记述程序行，作成各种目标汇编语言的表(400)。根据此扩充树形结构图，使用与汇编语言种类无关的共同自动生成规则，参照为每种汇编语言准备的表(400)，自动生成适合于各种汇编语言的汇编语言源程序。
汇编语言源程序生成方法系统

[发明专利]软件中语言资源本地化的实现方法-CN200310112560.8有效
发明人：宋朝青 -专利权人：艾默生网络能源有限公司
申请日： 2003-12-16 - 公布日： 2004-11-17 - 主分类号： G06F9/44 文献下载
摘要：本发明公开了一种软件中语言资源本地化的实现方法，该方法为：根据第一语言资源在源程序中存在的特征，从所述软件源程序的语句中查找第一语言资源；采用字符串常量替代查找到的每一处第一语言资源，将每一处第一语言资源赋值给对应的字符串常量并写入到资源文件，在该资源文件中形成第一语言资源部分，其中所述字符串常量在所述源程序中全局唯一；根据资源文件中的第一语言资源部分生成对应的第二语言资源部分；所述软件运行时根据操作系统类型加载所述资源文件中的第一语言资源部分或第二语言资源部分；或者根据所述资源文件中的第二语言资源部分，用第二语言资源替换源程序中对应的字符串常量，生成第二语言版本的源程序。
软件语言资源本地化实现方法

[发明专利]程序变换方法及程序变换系统-CN200610071807.X无效
发明人：瓶子岳人;滨田智雄 -专利权人：松下电器产业株式会社
申请日： 2006-03-16 - 公布日： 2006-09-20 - 主分类号： G06F9/45 文献下载
摘要：在系统软件的开发中，提高计算机整体的执行性能、且减少系统软件开发工时的程序开发系统，其具有编译系统等。编译系统是读入源程序及系统级提示信息并变换成机器语言程序的程序，生成机器语言程序，并且输出有关该程序信息的任务信息。系统级提示信息收集编译系统中的优化的提示的信息，由评测器的分析结果、程序员的指示、有关源程序的任务信息、及有关与源程序不同的其他源程序的任务信息构成。
程序变换方法系统

[发明专利]一种基于有限元语言的编码方法、编译器及求解方法-CN201710648454.3在审
发明人：梁国平;周永发;李庆定 -专利权人：元计算（天津）科技发展有限公司
申请日： 2017-08-01 - 公布日： 2017-12-01 - 主分类号： G06F17/50 文献下载
摘要：本发明涉及一种基于有限元语言的编码方法、编译器及求解方法，该方法包括读取有限元语言文件；将该有限元语言文件按照不同的预定义编码规则编译成源程序代码；在预存储元件库中调用元件化源代码程序，并将所述元件化源代码程序和所述源程序代码集成成完整的目标源程序代码；将目标源程序代码换成需求的语言代码再换成需求的语言代码，得到求解所述微分方程的程序代码。还涉及一种有限元语言编译器，该编译器包括获取模块、编译模块、生成模块、转换模块；还涉及一种自动编码求解微分方程组的方法。通过本发明的方法，可以快速地编译程序，并且编写的时间短，编写的准确率高，同时也大大降低了编译的成本，能够满足各种不同工程的需求。
一种基于有限元语言编码方法编译器求解

[发明专利]编译装置-CN200410085268.6有效
发明人：瓶子岳人;小川一;山本康博;服部享子;道本昌平;服部谦司;富田浩彻;川端辉雄;中岛圣志 -专利权人：松下电器产业株式会社
申请日： 2004-10-18 - 公布日： 2005-04-27 - 主分类号： G06F9/45 文献下载
摘要：编译器58，是一种能够以更少工时来实现程序开发的编译器，可将高级语言所写的源程序72翻译为机器语言程序。该编译器58包括：指示获得单元，用于获得一个指示，指示将要产生的机器语言程序应当被优化；分析单元76，用于分析该源程序72；中间码转换单元78，用于根据分析单元76执行分析的结果将源程序72转换为中间码；优化单元68，用于根据该指示来优化该中间码；和码产生单元90，用于将该中间码转换为机器语言程序。上述指示是一个优化该机器语言程序的指示，适用于使用高速缓冲存储器的处理器。
编译装置

[发明专利]一种复杂多分支结构代码自动生成的方法-CN201510006578.2有效
发明人：侯济恭 -专利权人：南威软件股份有限公司
申请日： 2015-01-07 - 公布日： 2017-11-14 - 主分类号： G06F9/44 文献下载
摘要：本发明提供一种复杂多分支结构代码自动生成的方法，包括用户使用类开关语句编写源程序；用户填写目标语言模板；编译器通过总控程序读入所述源程序，并根据状态堆栈中的栈顶状态确定对应的语义子程序，从而将源程序中的类开关语句依照目标语言模板转换生成相应的目标语言程序本发明的优点在于，用户只需按语法要求书写类开关语句和目标语言模板，编译器即可生成复杂条件下的多分支目标语言程序，且用户修改目标语言模板中的内容，就能改变生成的目标语言程序。本发明解决了多分支程序难于设计、执行效率低、可读性差等问题，改善了代码的可维护性和鲁棒性，实现了复杂条件下多分支结构代码的自动生成。
一种复杂分支结构代码自动生成方法

[发明专利]一种复杂同步语言程序的化简转化和自动验证方法-CN202011117839.5有效
发明人：陈哲;冉丹;孙毅 -专利权人：南京航空航天大学
申请日： 2020-10-19 - 公布日： 2022-04-08 - 主分类号： G06F8/30 文献下载
摘要：本发明提供了一种复杂同步语言程序的化简转化和自动验证方法，包括对复杂同步语言程序进行词法分析、语法分析后生成与源程序对应的抽象语法树。基于程序等价转化的思想，将复杂同步语言程序的抽象语法树进行化简并转化为简单同步语言程序的抽象语法树。遍历转化后的抽象语法树，得到一个与源程序功能等价并且只包含简单同步语言语法结构的程序。将该程序作为简单同步语言模型检测工具的输入，得到验证结果，从而实现对复杂同步语言程序的自动验证。
一种复杂同步语言程序转化自动验证方法

[发明专利]一种便于调节的微信小程序调试方法-CN201911217427.6在审
发明人：程海健 -专利权人：安徽信果网络科技有限公司
申请日： 2019-11-29 - 公布日： 2020-05-12 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种便于调节的微信小程序调试方法，具体包括以下步骤：步骤一：用编辑程序把编制的源程序按照一定的书写格式送到手机中，编辑程序会根据使用人员的意图对源程序进行增、删或修改，步骤二：把送入的源程序翻译成机器语言，即用编译程序对源程序进行语法检查并将符合语法规则的源程序语句翻译成手机能识别的“语言”，本发明涉及程序调试技术领域。该便于调节的微信小程序调试方法，解决了现有微信小程序调试方法多为一种静态调试，使用的过程中用户不便于调节的问题，通过动态调节的方式对微型小程序进行调节，程序本身进行初始安装调节，也可以用专业软件进行调节
一种便于调节微信小程序调试方法

[发明专利]多语言代码编译方法及编译器-CN201811153588.9有效
发明人：张建飞;王立松;冯庆枝 -专利权人：深圳市雷赛控制技术有限公司
申请日： 2018-09-29 - 公布日： 2022-02-01 - 主分类号： G06F8/41 文献下载
摘要：本申请提供一种多语言代码编译方法及编译器，涉及语言编译技术领域。该编译方法包括：根据预设词法分析规则对源程序代码进行词法分析处理，生成词法分析结果，其中，所述源程序代码包括多种不同语言的源程序代码；根据预设语语义法分析规则对所述词法分析结果进行语法语义分析，生成语法语义分析结果该编译方法基于IEC61131‑3标准，将语言无关性模块进行整合，使得多语言编译器的结构得到很大简化，提升代码效率和减少代码的维护，并且在IEC61131‑3编程语言的基础上再增加BASIC语言的支持。
语言代码编译方法编译器

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条