形式语义的英文

• formal definition
• formal semantics of programming languages

• "形式"英文翻译    form; shape; layout; modalit ...
• "语义"英文翻译    semanteme; semantics
• "形式语义学" 英文翻译 :    formal semantics of programming languages
• "形式语义定义" 英文翻译 :    formal semantic definition
• "形式语义描述" 英文翻译 :    formal semantic description
• "形式语义模型" 英文翻译 :    formal semantic model
• "形式语义语言" 英文翻译 :    formalsemantic language; fsl formal semantic language
• "形式语义学引论" 英文翻译 :    introduction to formal semantics
• "无形式语言" 英文翻译 :    formless language
• "形式语法" 英文翻译 :    formal syntax
• "形式语言" 英文翻译 :    formal languages; formale sprache formal language
• "形式语言学" 英文翻译 :    formal linguistics
• "形式语意学" 英文翻译 :    formal semantics
• "形式语用学" 英文翻译 :    formal pragmatics
• "多维形式语言" 英文翻译 :    multidimensional formal language
• "非形式语法树" 英文翻译 :    informal syntax tree
• "形式语言定义" 英文翻译 :    formal language definition
• "形式语言加工" 英文翻译 :    formal language processing
• "形式语言理论" 英文翻译 :    formal language theory
• "形式语言文法" 英文翻译 :    formal language grammar
• "自由形式语言" 英文翻译 :    free-form language
• "形式语言加工程序" 英文翻译 :    formal language processor
• "形式语言与自动机" 英文翻译 :    formal languages and automata
• "重写规则 (形式语言)" 英文翻译 :    rewrite rules
• "自动机和形式语言" 英文翻译 :    automata and formal language

• ( 5 ) gives the refinement laws for fcmhd and transformation from chdl to vhdl or verilog hdl
  并给出了chdl的形式语义及常用的硬件的语义;提出了把chdl转换为vhdl或ve川。
• At present , many organizations and individuals are engaged in the study of uml formal semantics . they attempt to influence the future of uml through the study of uml
  目前，很多机构和个人都在从事uml的形式语义研究，他们试图通过对uml的研究来对uml的未来产生影响。
• This paper proposed a problem - solving theory based formal model , introduced the basic syntax and p - calculus based semantics of the model , and presented some pivotal concepts and propositions in the deduction of the model
  摘要提出了一种基于问题求解理论的密码协议模型，给出了模型的基本语法以及基于演算的形式语义，明确了模型推理过程中涉及到的一些关键性的概念和命题。
• The formal semantics of sql is the theoritical foundation of query rewriting , but there is no satisfying method to translate sql into a canonical form . in this paper , we propose a better formalizing method for sql which is more succinct
  Sql的形式语义是查询重写研究的理论基础，本文在前人工作的基础上，提出了一种更加完善的形式化方法，不但消除了以往形式化方法的部分不足，而且从形式上也更为简洁、直观。
• ( 3 ) discusses the formal specifications for hardware formal design and presents the formal model of fcmhd ( formal computational model for hardware design ) and its formal semantics based on itl ( interval temporal logic )
  作者以时段演算( durationcalculus ， dc )为工具对vhdl的子集进行了形式语义分析；通过分析vhdl和veriloghdl部分语句的形式语义，为硬件描述语言的分析、设计、编译提供了一个严格的理论基础和新的途径。
• This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic . it contributes to the research of software architecture description and the research of formal semantics of uml as well as the application of formal method in the software development
  本文通过将面向对象的可视化建模语言与基于时序逻辑的形式化方法结合起来描述软件体系结构,对软件体系结构描述研究、 uml形式语义研究和形式化方法在软件开发中的应用等方面都有一定的推动作用。
• Therefore , the formal semantic study of uml is helpful for the improvement of the clarification , equivalence , consistency , and extendibility of the language , thus offers a powerful theoretical tool for the validity proof , transition of the model and the consistency check of the modeling tools supporting uml
  因此，对uml进行形式语义研究，对增进该语言的清晰性、等价性和一致性、可扩展性是十分有帮助的，为模型的正确性证明、转换以及支持uml建模工具的一致性检查提供了有力的理论工具。
• In this dissertation we present a general , extensible methodology that examines cryptographic protocols . our approach is specify a protocol in cpal ( cryptographic protocol analysis language ) , apply hoare and dijkstra ? theory of formal semantics to it , analysis it ? forma ] semantics , define weakest precondition of each kind of language statement
  我们的方法就是用cpal （ cryptographicprotocolanalysislanguage ）语言来表示协议，将hoare和dijkstra在形式语义方面的理论应用到该语言，分析该语言的形式语义，定义每种语句的最弱前置条件。