• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >Linearity in Computation
【24h】

Linearity in Computation

机译：计算线性

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Linearity has been the key feature in several lines of research in both theoretical and practical approaches to computer science. From the theoretical side, linearity plays a central role in all the work stemming from linear logic, dealing with proof technology, complexity classes and more recently quantum computation. From the practical side, linearity properties are used in program analysis, expressive operational semantics for programming languages, linear programming languages, program transformation, update analysis and efficient implementation techniques. Topics included in this area span linear types, session types, linear calculi, lambda-calculus, rho-calculus, term and graph rewriting, object calculi, interaction nets, games, process calculi, action graphs, calculi expressing locality, mobility and active data, quantum computational models and biological or chemical models of computation.
机译：在计算机科学的理论方法和实践方法中，线性一直是几项研究的关键特征。从理论上讲，线性在线性逻辑的所有工作中起着核心作用，涉及证明技术，复杂性类别以及最新的量子计算。从实践的角度来看，线性特性用于程序分析，编程语言的表达性操作语义，线性编程语言，程序转换，更新分析和有效的实现技术。此区域中的主题涵盖线性类型，会话类型，线性计算，lambda演算，rho-演算，术语和图形重写，对象演算，交互网络，游戏，过程演算，动作图，表示局部性，活动性和活动数据的演算，量子计算模型以及生物学或化学模型的计算。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号