助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   combinator calculi 的翻译结果: 查询用时:0.03秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
更多类别查询

图标索引 历史查询
 

combinator calculi
相关语句
  combinator演算族
     Furthermore, this work provides a pre-condition for uniting and comparing combinator calculi, lambda- calculus as well as higher-order functions with other concurrent models under the theory of π-calculus.
     由于高阶函数式语言与Combinator演算族之间存在着自然的转换,所给的转换思想不仅为在π演算的理论框架下研究Combinator演算族提供了基础,也为探讨高阶函数式语言的表示和实现问题提供了新途径.
短句来源
  “combinator calculi”译为未确定词的双语例句
     π-Calculus Semantics for Combinator Calculi
     Combinator演算族的π演算语义
短句来源
     π-Calculus is used to encode the semantics for the SKI-calculus which is a representative of combinator calculi.
     以SKI演算作为Combinator演算族的代表,通过形式化的手段给出了SKI演算的π演算语义;
短句来源
  相似匹配句对
     π-Calculus Semantics for Combinator Calculi
     Combinator演算族的π演算语义
短句来源
     π-Calculus is used to encode the semantics for the SKI-calculus which is a representative of combinator calculi.
     以SKI演算作为Combinator演算族的代表,通过形式化的手段给出了SKI演算的π演算语义;
短句来源
     HEPATIC DUCT STENOSIS AND CALCULI
     肝胆管狭窄与胆管结石
短句来源
     ESWL Operation Staghorn Calculi
     体外冲击波碎石与开放手术联合治疗巨大鹿角形结石
短句来源
     A FAST COMBINATOR REDUCTION MODEL
     一种快速组合算子归约模型FCRM
短句来源
查询“combinator calculi”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
没有找到相关例句


π-Calculus is used to encode the semantics for the SKI-calculus which is a representative of combinator calculi. SKI-calculus is Turing complete, and this work shows the expressiveness of π-calculus. Furthermore, this work provides a pre-condition for uniting and comparing combinator calculi, lambda- calculus as well as higher-order functions with other concurrent models under the theory of π-calculus.

以SKI演算作为Combinator演算族的代表,通过形式化的手段给出了SKI演算的π演算语义;通过一个实例验证了所论方法的正确性.所给出的转换方法证明了π演算的表达能力:π演算为图灵完备的.由于高阶函数式语言与Combinator演算族之间存在着自然的转换,所给的转换思想不仅为在π演算的理论框架下研究Combinator演算族提供了基础,也为探讨高阶函数式语言的表示和实现问题提供了新途径.

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关combinator calculi的内容
在知识搜索中查有关combinator calculi的内容
在数字搜索中查有关combinator calculi的内容
在概念知识元中查有关combinator calculi的内容
在学术趋势中查有关combinator calculi的内容
 
 

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