关于Lyee指向软件的静态分析方法

摘要

Lyee必要条件中，应用在以往方法中使用的静态分析方法。具体地，将Lyee必要条件作为对象进行优化(古典式优化、根据谓语向量的排列的优化)、分断、必要条件调试、键入(错误检测、类型发现、使用类型的安全)。此外，将这些作为实施了适于Lyee All工具生成的优化代码的预处理的形式输出必要条件。由此，使Lyee方法论中用于生成具有更高质量(更少的保存和执行时间的耗费)的代码的必要条件定义的优化成为可能。

主权项

1.一种关于Lyee指向软件的静态分析方法，其特征在于，具备：为按照Lyee方法论制作软件，得到包含每个词的定义式的要求定义的步骤；将上述得出的要求定义作为关键词检测常数的步骤；按照使用上述检出的常数的定义式传送该常数的步骤。