形式语义 meaning in Chinese
formal definition
formal semantics of programming languages
Examples
- ( 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部分语句的形式语义，为硬件描述语言的分析、设计、编译提供了一个严格的理论基础和新的途径。