符號執行 的英文怎麼說
中文拼音 [fúháozhíháng]
符號執行
英文
symbolic execution- 符 : Ⅰ名詞1 (符節) tally (with two halves made of wood bamboo jade metal issued by a ruler to gener...
- 號 : 號Ⅰ名1 (名稱) name 2 (別號; 字) assumed name; alternative name3 (商店) business house 4 (...
- 執 : Ⅰ動詞1 (拿著) hold 2 (執掌) take charge of; control; manage; wield 3 (堅持) persist in; sti...
- 行 : 行Ⅰ名詞1 (行列) line; row 2 (排行) seniority among brothers and sisters:你行幾? 我行三。where...
- 符號 : 1 (記號; 標記) character; sign; symbol; mark; code; notation; expression; denotation; sentinel ...
-
Specifies symbols on which to perform conditional compilation
指定要對其執行條件編譯的符號。During the year the mercedes benz sprinter, a new patrol vehicle with an ergonomically designed interior, was introduced for emergency units. the vehicles meet with the latest european community standards for passenger safety and exhaust emissions
年內,警隊引進新型號巡邏車分配予沖鋒隊執行職務,其車箱設計運用工效學原理,使乘客安全要求及廢氣排放量均符合歐洲共同體的最新標準。Operators are terms or symbols such as
運算符是對操作數執行運算的術語或符號,如In dpcx, the automatic transfer of storage blocks between the associative storage pool in processor storage and the virtual storage paging area in disk storage, and the reading of program blocks from disk or processor storage into the program area of a symbolic machine
在分散式處理控制執行程序( dpcx )中,存儲塊在處理機存儲器中相關存儲池與磁盤存儲器中虛擬分頁存儲區之間的自動傳送,並從磁盤或處理機存儲器讀入程序塊到一個符號機的程序區中。The information of running programs users can get is just the register, memory and symbol state
所看到的程序執行現狀,也只是目標機方當前程序寄存器、內存、符號信息等基本信息。All instructions are carried out using a register called the accumulator, which we shall denote by a.
全部指令執行時都用了稱作累加器的寄存器(用符號A來表示)。So you could create a topic for each ticker symbol, let users subscribe to the symbols they are interested in, and then let the mq engine do the work of displaying only the quotes each investor wants, avoiding the delivery of duplicate quotes
因此您可以為每個訂單符號創建一個主題,讓用戶訂閱他們感興趣的符號,然後讓mq引擎執行僅僅顯示每個投資者想要的報價,避免發送重復的股價。In dpcx, a field capable of containing 10 digits, a sign, and a decimal point, that can be used by a program for arithmetic calculations and for program control
在分散式處理控制執行程序( dpcx )中,一種含有十位數字、一位符號和一位小數點的欄位,程序可以用它來進行算術計算和程序控制。This function returns the target of the link on success, or false on failure
這個函數返回符號連接指向的目標對象;如果執行失敗將返回false 。As for foreign - invested enterprises, we adhere to the no. 66 document ( wz [ 2002 ] ) issued by wuhan people ' s government and only collect 14 kinds of administrative fees regulated by our laws and rules, and conformed to international tradition and the equity principle
對外來投資企業執行武漢市人民政府武政[ 2002 ] 66號文件規定的項目,即只保留國家法律、法規明確規定收取的,符合國際慣例和對等原則的涉及企業的14項行政事業性收費。For this reason, the thesis presents an approach based on constraint satisfaction, symbolic execution and extended finite state machines. it can analyze programs written in a subset of the c programming language
針對上述情況,本文中提出了一種方法,它基於約束滿足問題求解方法和擴展有限狀態機上的符號執行演算法,能夠對c語言子集描述的程序進行分析。This illustrates that using refactoring to rename symbols is different than simply performing a find - and - replace action in the editor ; refactoring renames symbols with knowledge of the semantics of the symbol that it is working with
這說明使用重構來重命名符號不同於在編輯器中直接執行查找替換操作;重構會根據正在處理的符號的語義來重命名符號。The punctuation and special characters in the visual basic character set have various uses, from organizing program text to defining the tasks that the compiler or the compiled program carries out
Visual basic字符集中的標點符號和特殊字元各有其用途,其使用范圍可從組織程序文本到定義編譯器或已編譯程序執行的任務。However, although it has powerful symbolic - manipulation capabilities, mathematica is awful limited in executable speed
Mathematica雖有強大的符號計算功能,但執行速度嚴重受到限制。It covers the theory and algorithm of how to implement the breakpoint, single step, execution control and symbolic access. the general hardware and operation system support are briefly introduced in order to well explain the mechanism of debugging process
然後介紹了斷點設置,單步跟蹤,執行控制和符號表讀寫的原理;以及硬體和操作系統對跟蹤調試的支持。Computer programs : refers to coded instructional sequences - or those symbol ic instructional sequences or numeric language sequences which can be automatically converted into coded instructional sequences - which are for the purpose of obtaining a certain result and which are operated on information processing equipment such as computers
(一)計算機程序:指為了得到某種結果而可以由計算機等具有信息處理能力的裝置執行的代碼化指令序列,或者可被自動轉換成代碼化指令序列的符號化指令序列或者符號化語句序列。In this thesis, we will review some traditional methods of detecting data dependence and analyze the relation between the data dependence and the mechanism of parallelism. based on path analysis and symbolic execution, we describe two methods, static analysis and dynamic analysis, for detecting data dependence of array variables in loops of sequential programs
進而提出了基於路徑分析和符號執行的靜態測試和動態測試方法,來研究串列程序中循環內部數組變量的數據相關性,該方法對于下標表達式為線性表達式時有很好的效果,而且能夠處理一些復雜的數組下標表達式,比如數組下標表達式含有輸入變量和非線性下標表達式的情況。Performs a search on the currently selected member symbol using the options specified on the
中指定的選項,對當前選定的成員符號執行搜索。Performs a search on the currently selected object symbol using the options specified on the
中指定的選項,對當前選定的對象符號執行搜索。We can also find unexecutable paths of the sequential program. when we find them we will stop the analysis. we enhance the capability of the traditional methods of detecting data dependence
我們採用了遍歷程序路徑和對路徑進行符號執行的策略,這樣可以盡可能早的發現程序中的不可執行路徑,從而提高分析的效率。分享友人