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