您要查找的是不是:
- This paper focuses on formal semantics of imperative programs. 摘要 研究了命令式程序的形式语义。
- The formal semantics of RT-Z, based on the denotation semantics of Z and timed CSP, is a prerequisite for preciseness and mathematical rigour. RT-Z的语义基于Z和timed CSP,这是它具有正确性和数学严格性的基础。
- Because UML lacks of precise semantics,a method is proposed to express the formal semantics of the class diagrams based on the temporal logic language XYZ/E. 基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。
- We abandoned the idea of basing Haskell explicitly on OL very early; we violated the goal of embodying only well-tried ideas, notably by the inclusion of type classes; and we never developed a formal semantics. 尽管事情的进展相当不同,比之加入当前观点上的共识和团结我们全异的群体于一单一的设计,我们打算的更少。
- The back end of XYZ/ADL is the linear temporal logic language XYZ/E, which can represent both dynamic and static semantics of systems as its unified formal semantic backbone. 后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础。
- A FORMAL SEMANTICS FOR CHINESE LOCALIZATON 汉语空间方位词的形式语义
- RDF/ RDF Schema is a sound and complete formal system, which has BNF formal syntax and model theory based formal semantic. RDF/RDFS是一个完整的形式化系统,具备BNF形式语法、基于模型理论的形式语义,是一个完备、可靠的形式化系统,从而保证了RDF描述语义推理的形式正确性。
- Controversies in Formal Semantics and Its Development 当代形式语义学的争鸣与进展
- The formal semantics of programming languages an introduction Glynn 程序设计语言的形式语义
- Research on formal semantics of component integration 一种形式化构件集成语义的研究
- A formal semantics of VHDL based on duration calculus 一种基于时段演算的VHDL的形式语义
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。
- He cast his last remark in more formal wording. 他用更正式的措词表达了最后一句话。
- Don't you be so fucking formal with me. 别你他妈的对我这么一本正经了。
- The letter is written in formal style. 这封信是用正式文体写的。
- Modern life trends towards less formal customs. 现代生活倾向于较少拘泥于客套习俗。
- The job does not require any formal training. 做这种工作不需要任何正规训练。
- A Formal Semantics for Degree of Perseverance of Peers and Its Application 对等实体执著度语义及其应用
- The Formal Semantics of UML Sequence Diagram Based on Process Algebra 基于进程代数的UML序列图的形式语义
- I'm composing a formal reply to the letter. 我正写一封郑重其事的回信。