[发明专利]程序生成装置、程序生产方法及程序无效

专利信息
申请号: 201180003692.X 申请日: 2011-07-04
公开(公告)号: CN102483701A 公开(公告)日: 2012-05-30
发明(设计)人: 田中旭;森下广之;井上昭彦 申请(专利权)人: 松下电器产业株式会社
主分类号: G06F9/45 分类号: G06F9/45
代理公司: 永新专利商标代理有限公司 72002 代理人: 徐殿军
地址: 日本*** 国省代码: 日本;JP
权利要求书: 查看更多 说明书: 查看更多
摘要: 程序生成装置参照包含将块重复处理N次的、有关第i次执行的上述块内定义的变量处于在有关第j次执行的上述块内被参照的相关关系的循环处理的源程序,计算有关第i次的执行的上述块及有关第i次以外的执行的1个以上的上述块中的变量表述的等价关系,对于处于上述相关关系的全部的对象变量的表述,确定与该对象变量的表述等价的不具有上述相关关系的其他变量的表述,生成用来进行上述循环处理的M次的处理的、包括包含有所确定的其他变量的表述的命令语句的程序,其中N≥2,1≤i<N,i<j≤N,M≤N。
搜索关键词: 程序 生成 装置 生产 方法
【主权项】:
一种程序生成装置,通过参照对象源程序而生成新的程序,该对象源程序包含将由1个以上的命令语句构成的块重复处理N次的循环处理,该循环处理的在有关第i次执行的上述块内的命令语句中定义的变量处于被有关第j次执行的上述块内的命令语句所参照的相关关系,其中N≥2,1≤i<N,i<j≤N,其特征在于,该程序生成装置具备:计算单元,以有关第i次执行的上述块、和有关第i次以外的执行的1个以上的上述块为对象块,进行计算该对象块中的变量表述的等价关系的计算处理;确定单元,基于上述计算单元计算出的变量表述的等价关系,对于上述变量之中的、处于上述相关关系的全部的对象变量的表述,进行确定与该对象变量的表述等价的不具有上述相关关系的其他变量的表述的确定处理;以及生成单元,生成用来进行上述循环处理的M次的处理的、包含如下命令语句的程序,该命令语句包含有上述确定单元确定的其他变量的表述,其中M≤N。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于松下电器产业株式会社,未经松下电器产业株式会社许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/patent/201180003692.X/,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top