Mobile
Log In Sign Up
Home > english-chinese > "hoare逻辑" in Chinese

Chinese translation for "hoare逻辑"

hoare logic

Related Translations:
hoare:  霍尔
hoare axiom:  霍尔公理
samuel hoare:  赛缪尔霍尔
brendan hoare:  何马先生
hoare logic:  hoare逻辑
hoare reef:  霍尔礁
henry hoare ii:  亨利霍尔二世
逻辑:  logic 短语和例子有学问而且合逻辑地辩论 argue with learning and logic; 逻辑上的错误 an error in logic; 数理逻辑 mathematical logic; 合乎逻辑 logical; 按照这种逻辑 according to that kind of reasoning; 这是什么逻辑 ? what sort of log
Example Sentences:
1.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逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。由此可见,本文从全新的角度定义了一种可以处理动态模糊问题的程序设计语言。
Similar Words:
"hoare reef" Chinese translation, "hoare-laval pact" Chinese translation, "hoareau" Chinese translation, "hoarestott development ltd" Chinese translation, "hoarestott finance ltd" Chinese translation, "hoarfrost" Chinese translation, "hoarfrost formation" Chinese translation, "hoarfrost point" Chinese translation, "hoarhound" Chinese translation, "hoariec" Chinese translation