formal description technique 中文意思是什麼

formal description technique 解釋
形式描述方法（技術）
  • formal : adj 1 正式的。2 禮節上的，儀式上的；鄭重其事的。3 形態的，外形的；形式上的；拘泥形式的，刻板的。4...
  • description : n. 1. 記述，敘述，描寫；記載。2. 敘事文；（物品）說明書；相貌說明書。3. 種類。4. 作圖；繪制。
  • technique : n. 1. （專門）技術；（藝術上的）技巧，技能。2. 手法〈如畫法，演奏法等〉。3. 方法。
  1. Therefore, pe is a program optimization technique dependent on specific language. to better research on pe itself and its application in other program analysis fields, the present paper introduces a partial evaluator of snl ( small nested langue ) as well as its formal description, and implements a pe system utilizing the partial evaluation approach

    另外，本文還在該部分求值器的應用方面做了一定的工作:將部分求值與別名分析、程序分片相結合，提出了一種并行融合部分求值的別名分析方法，以及一種基於部分求值的程序分片方法。
  2. This paper gives a merger dynamic and static technique of partial evaluation for procedural language and its formal description, and we have implemented a partial evaluator for like - pascal

    摘要提出一種應用於過程式語言的動靜態結合的部分求值技術，並給出該方法的形式描述。採用該方法，實現一個實驗性的部分求值系統。
分享友人
分享到 Line

分享到臉書