直接賦值算符 的英文怎麼說
中文拼音 [zhíjiēfùzhísuànfú]
直接賦值算符
英文
direct assignment operator- 直 : Ⅰ形容詞1 （成直線的; 硬挺的） straight; stiff 2 （跟地面垂直的; 從上到下的; 從前到后的） erect; v...
- 接 : Ⅰ動詞1 （靠近;接觸） come into contact with; come close to 2 （連接; 使連接） connect; join; put ...
- 賦 : Ⅰ動詞1 （交給） bestow on; endow with 2 （做詩、詞） compose （a poem） Ⅱ名詞1 （舊指田地稅）tax;...
- 算 : Ⅰ動詞1 （計算數目） calculate; reckon; compute; figure 2 （計算進去） include; count 3 （謀劃;計...
- 符 : Ⅰ名詞1 （符節） tally （with two halves made of wood bamboo jade metal issued by a ruler to gener...
- 直接 : direct; immediate
-
A possible solution to this problem is : adopting symbolic transition graph with assignment ( stga for short ) to model value - passing systems, introducing a predicate mu - calculus to characterize desired properties, and verifying value - passing concurrent processes using an " on - the - fly " algorithm
解決這個問題的一個方案是：使用帶賦值符號遷移圖（ stga ）作為並發傳值進程的模型，使用謂詞演算作為刻畫性質的邏輯，並採用動態實例化的演算法對傳值並發進程直接進行模型檢測。
分享友人