助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   应用式语言 的翻译结果: 查询用时:0.014秒
图标索引 在分类学科中查询
所有学科
更多类别查询

图标索引 历史查询
 

应用式语言
相关语句
  相似匹配句对
     Applications of AutoLISP
     AutoLISP语言应用
短句来源
     Brief Description of C Language
     C语言应用简述
短句来源
     The Application Of DELPHI In The Equatorial Astronomical Telescope Control System
     DELPHI语言在赤道天文望远镜控制系统中应用
短句来源
     B-net Resultant of Polynomials and Its Application
     多项的B-网结应用
短句来源
     Application of Field Mounted Controller
     基地调节器的应用
短句来源
查询“应用式语言”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  applied language
Juggling Through Hoops: Implementing Ethics Policies in Applied Language Studies
      
This article reports on a collective effort to position ethics policies within the context of a specific discipline - Applied Language Studies (ALS).
      
  applicative language
A semantic characterization is given of the terms of a simple applicative language which it can be assigned a (monomorphic or polymorphic) type.
      
The CATHEDRAL Silicon Compilers synthesize hardware for DSP algorithms specified in Silage, a high level applicative language.
      
SISAL is an applicative language which has been designed by a consortium of industrial and research organizations for the specification and execution of parallel programs.
      


A six papers' series is being published, which is persuing a semantics for communicating processes. As the first paper of this series, a notation for distributed programming is developed, including the constructs: output, input, alternation, parallelism, channel renaming and hiding, and recursion.The rest of this series will be respectively entitled as: "A Deterministic Semanties of Communieating Processes", "Partial Correctness of Protocal","Weakest Environment of Communicating Processes", "A Nondeterministic...

A six papers' series is being published, which is persuing a semantics for communicating processes. As the first paper of this series, a notation for distributed programming is developed, including the constructs: output, input, alternation, parallelism, channel renaming and hiding, and recursion.The rest of this series will be respectively entitled as: "A Deterministic Semanties of Communieating Processes", "Partial Correctness of Protocal","Weakest Environment of Communicating Processes", "A Nondeterministic Semantics of Communicating Processes (Ⅰ) " and " (Ⅲ) ".

通信的顺序进程(Communicating Sequential Processes)是C.A.R.Hoare教授提出的,简称为CSP,他希望以此作为分布式程序设计的基本机制。 本文以“通信的顺序进程及其研究”作为总称,共分六篇。第一篇以总称为名,介绍CSP的目标及一个CSP式的应用式语言(Applicative Language)。第二篇名为“通信进程的确定性语义学”,该文中给出了这个语言的一种语义,这种语义不考虑CSP中允许的很多非确定现象。语义中同时使用了指称方法(Denotational Semantics)和公理化方法(Axiomatic Semantics)。第三篇为“通信协议的部分正确性”。该文用CSP构造了一个HDLC协议,并用第二篇文章中提供的方法,证明了这个协议的部分正确性。在证明过程中,作者引入了一个类似于顺序程序设计中最弱前提(Weakest Precondition)的最弱环境(Weakest Environment)概念。第四篇中,在一种层次通信结构中,详细地讨论了最弱环境这一概念,文章的名称为“通信进程的最弱环境”。最后两篇讨论CSP的非确定性语义,这种语义考虑了CS...

通信的顺序进程(Communicating Sequential Processes)是C.A.R.Hoare教授提出的,简称为CSP,他希望以此作为分布式程序设计的基本机制。 本文以“通信的顺序进程及其研究”作为总称,共分六篇。第一篇以总称为名,介绍CSP的目标及一个CSP式的应用式语言(Applicative Language)。第二篇名为“通信进程的确定性语义学”,该文中给出了这个语言的一种语义,这种语义不考虑CSP中允许的很多非确定现象。语义中同时使用了指称方法(Denotational Semantics)和公理化方法(Axiomatic Semantics)。第三篇为“通信协议的部分正确性”。该文用CSP构造了一个HDLC协议,并用第二篇文章中提供的方法,证明了这个协议的部分正确性。在证明过程中,作者引入了一个类似于顺序程序设计中最弱前提(Weakest Precondition)的最弱环境(Weakest Environment)概念。第四篇中,在一种层次通信结构中,详细地讨论了最弱环境这一概念,文章的名称为“通信进程的最弱环境”。最后两篇讨论CSP的非确定性语义,这种语义考虑了CSP的各种允许的非确定行为。CSP的非确定性语义是用操作语义学(Operational Semantics)和公理化语义学同时给出的。标题为“通信进程的非确定性语义学(上)”及“(下)”。

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关应用式语言的内容
在知识搜索中查有关应用式语言的内容
在数字搜索中查有关应用式语言的内容
在概念知识元中查有关应用式语言的内容
在学术趋势中查有关应用式语言的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社