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.
數(shù)據(jù)流分析是一項編譯時使用的技術(shù)，它能從程序代碼中收集程序的語義信息，并通過代數(shù)的方法在編譯時確定變量的定義和使用。
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.
對主動規(guī)則終止性分析已有靜態(tài)和動態(tài)方法，其中靜態(tài)方法使用較多，靜態(tài)方法是在編譯時間內(nèi)檢測主動規(guī)則執(zhí)行的潛在非終止性。