Mobile
Log In Sign Up
Home > english-chinese > "指称语义" in Chinese

Chinese translation for "指称语义"

denotational semantics

Related Translations:
语义栈配置:  semantic stack configuration
称序:  weighting sequence
无人称:  [语言学] impersonality◇无人称代词 impersonal pronoun; 无人称句 impersonal sentence
起重机称:  crane weigher
旧称:  ui――unemployment insurance
称多:  chindu
酸称:  acid scaleacid weigher
莫称:  bakunehakunemakune
连称:  lian cheng
称站:  weight station
Example Sentences:
1.Research in philosophy of language : state of the art
指称语义的研究
2.Equivalence proving of operational and denotational semantics about repeat - until statement
语句的操作语义与指称语义的等价性证明
3.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逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。由此可见,本文从全新的角度定义了一种可以处理动态模糊问题的程序设计语言。
4.21 majster - cederbaum m , salger f . towards the hierarchical verification of reactive systems . theoretical computer science , 2004 , 318 : 243 - 296 . 22 winskel g . an introduction to event structures . lecture notes in computer science 354 , 1989 , pp . 364 - 397 . 23 hoare c a r . communicating sequential processes , prentice - hall , 1985
本文分别在语法和语义层次上对动作精化进行了定义,并证明了这两个层次的动作精化在前述两种等价关系下,关于一种基于完全偏序的指称语义是一致的。
Similar Words:
"指撑" Chinese translation, "指称" Chinese translation, "指称,指控" Chinese translation, "指称对象" Chinese translation, "指称名词" Chinese translation, "指称语义学" Chinese translation, "指称知识表示" Chinese translation, "指成了电视迷" Chinese translation, "指程度上的缓解" Chinese translation, "指尺侧偏斜" Chinese translation