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.
對主動槼則終止性分析已有靜態和動態方法，其中靜態方法使用較多，靜態方法是在編譯時間內檢測主動槼則執行的潛在非終止性。