logical function reference 中文意思是什麼

logical function reference 解釋
邏輯函數引用
  • logical : adj. 1. 邏輯的,邏輯上的;邏輯學上的。2. 合乎邏輯的。3. 邏輯上必然的。adv. -ly ,-ness n.
  • function : n 1 功能,官能,機能,作用。2 〈常 pl 〉職務,職責。3 慶祝儀式;(盛大的)集會,宴會。4 【數學】...
  • reference : n 1 (對委員、審查人等的)委託;委託項目[范圍]。2 說到,論到,提到。3 參考;參考書;附註,引證;...
  1. Abstract : for a precise dataflow analysis within the framework of the computation function model, the logical relationship of branch conditions is represented as the coverage relationship of regions. in this paper, the authors discuss how to represent, compute and propagate the region, region of the conditional reference. meanwhile, the methods of resolving the nondeterminism caused by conditional branch statements are also presented in order to get more precise dataflow information

    文摘:用計算函數模型進行精確的數據流分析,條件謂詞之間的邏輯關系被轉化為空間區域之間的覆蓋關系.該文討論在各種常見的程序構造下如何表示、計算和傳遞區域、區域,並在數據流分析過程中,利用區域、區域之間的覆蓋關系消除條件分支語句帶來的不確定性,以得到更精確的數據流信息
分享友人