compile-time analysis

基本解释

Data flow analysis is a compile-time technique. It can collect semantic information from the text of the program, and determine the definition and use variables by algebraic methods.
数据流分析是一项编译时使用的技术，它能从程序代码中收集程序的语义信息，并通过代数的方法在编译时确定变量的定义和使用。
There are several static and dynamic approaches for active rules termination analysis. We consider only static methods that at compile time detect potential non-terminating active rules execution.
对主动规则终止性分析已有静态和动态方法，其中静态方法使用较多，静态方法是在编译时间内检测主动规则执行的潜在非终止性。