[发明专利]关于Lyee指向软件的静态分析方法无效
| 申请号： | 03826435.8 | 申请日： | 2003-09-25 |
| 公开（公告）号： | CN1788254A | 公开（公告）日： | 2006-06-14 |
| 发明（设计）人： | M·梅里;B·克塔里;H·藤田;M·埃希奥伊 | 申请（专利权）人： | 珂特那株式会社 |
| 主分类号： | G06F9/44 | 分类号： | G06F9/44;G06F11/28 |
| 代理公司： | 中国专利代理(香港)有限公司 | 代理人： | 浦柏明;刘宗杰 |
| 地址： | 日本*** | 国省代码： | 日本;JP |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | Lyee必要条件中，应用在以往方法中使用的静态分析方法。具体地，将Lyee必要条件作为对象进行优化(古典式优化、根据谓语向量的排列的优化)、分断、必要条件调试、键入(错误检测、类型发现、使用类型的安全)。此外，将这些作为实施了适于Lyee All工具生成的优化代码的预处理的形式输出必要条件。由此，使Lyee方法论中用于生成具有更高质量(更少的保存和执行时间的耗费)的代码的必要条件定义的优化成为可能。 | ||
| 搜索关键词： | 关于 lyee 指向 软件 静态 分析 方法 | ||
【主权项】：
1.一种关于Lyee指向软件的静态分析方法，其特征在于，具备：为按照Lyee方法论制作软件，得到包含每个词的定义式的要求定义的步骤；将上述得出的要求定义作为关键词检测常数的步骤；按照使用上述检出的常数的定义式传送该常数的步骤。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于珂特那株式会社，未经珂特那株式会社许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/03826435.8/，转载请声明来源钻瓜专利网。
