semantics of programming language 中文意思是什麼

semantics of programming language 解釋
程序設計語言語義學
  • semantics : n. 1. 【語言學】語義學。2. 【哲學】語義哲學；語義學派。
  • of : OF ＝Old French 古法語。
  • programming : 編程序的
  • language : n 1 語言；（某民族，某國的）國語；語調，措詞。2 （談話者或作者所使用的）言語，語風，文風，文體。3...
  1. To paraphrase netrexx inventor mike cowlishaw, netrexx is a programming language derived from both rexx and the java language : its rules of syntax closely follow those of rexx while its semantics are closer to those of the java language

    Netrexx的發明人mike cowlishaw對它的解釋是： netrexx是從rexx和java語言這兩者發展而來的編程語言，它的語法規則幾乎完全遵循rexx的語法規則，而它的語義則更接近於java語言的語義。
  2. The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics

    主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  3. Up to now, there has been ten years for the research of dynamic fuzzy logic ( dfl ) and a series of achievements have been made. in order to further expand the applications of dfl, this thesis followed dijkstra ’ s guarded commands and put forward an operational semantics model of dfl programming language which can solve dynamic fuzzy problems

    動態模糊邏輯（ dfl ）的研究已有十年的時間了，目前已取得了一系列研究成果，為了進一步拓展這些研究成果的應用，本文借鑒dijkstra的監督命令程序結構，通過結構化操作語義描述方法從軟體理論方面進行研究，提出了動態模糊邏輯程序設計語言（ dflprogramminglanguage ）的操作語義模型，以期形成解決動態模糊性問題的程序設計方法。
  4. 11 luo x, zhang c, jennings n r. a hybrid model for sharing information between fuzzy, uncertain and default reasoning models in multi - agent systems. international journal of uncertainty, fuzziness and knowledge - based systems, 2002, 10 : 401 - 450. 12 hindriks k v, de boer f s, der hoek w van, meyer j j c. formal semantics of an abstract agent programming language

    Agent行動選擇和目標更新不僅依賴于agent的不確定信念，而且依賴于agent在實施這些行動的時候的得失效應值在此，把點概率的效應理論擴展到了區間概率的情況，並借用模糊數學中區間數的方法，給出了比較區間最大期望效應的方法再次，關于實用推理的不確定性的繁殖，使用了基於預設決策理論的預設邏輯方法。
  5. Independent of programming languages and platforms, wsrp defines web services description language wsdl interfaces and semantics for presentation - oriented web services

    Wsrp與編程語言和平臺無關，它定義了一些web services description language （ wsdl ）介面和用來表示面向web服務的語義。
  6. The character of the thesis was the following : ( 1 ) giving the modification of lambda calculus in order to describe the character of dynamic fuzzy ; ( 2 ) giving an operational semantics model of dfl programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it ; ( 3 ) giving the frame of dfl programming language

    本文的特色體現在: （ 1 ）提出了可以描述動態模糊性問題的演算的變形方法; （ 2 ）提出了可以解決動態模糊性問題的dfl程序設計語言的操作語義模型，並對該模型的正確性和可靠性進行了證明; （ 3 ）提出了dfl程序設計語言的基本框架結構。
  7. The xsd - type system is more sophisticated and powerful than the type system of any programming language, and more importantly it is language - neutral. that makes wsdl the logical starting point to define the web services semantics

    Xsd的類型系統比任何編程語言的類型系統都更加復雜和強大，並且更重要的是，它是獨立於編程語言的，因此，它成為wsdl定義web服務語法的邏輯起點。
分享友人
分享到 Line

分享到臉書