0去购物车结算
购物车中还没有商品，赶紧选购吧！
当前位置: 图书分类 > 信息技术 > 计算机理论 > 分划递推法中泛型约束机制

相同语种的商品

销售排行榜

浏览历史

分划递推法中泛型约束机制


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
分划递推法中泛型约束机制
  • 书号：9787030710727
    作者：左正康,王昌晶
  • 外文书名：
  • 装帧：平装
    开本：B5
  • 页数：104
    字数：133000
    语种：zh-Hans
  • 出版社：科学出版社
    出版时间：2022-08-01
  • 所属分类：
  • 定价： ￥98.00元
    售价： ￥77.42元
  • 图书介质:
    纸质书

  • 购买数量： 件  可供
  • 商品总价：

相同系列
全选

内容介绍

样章试读

用户评论

全部咨询

本书是作者在泛型程序设计领域多年研究的结晶，通过研究分划递推法中泛型约束机制的设计与实现，向读者展现泛型约束机制可解决一系列复杂泛型约束问题。读者阅读本书之后，既可对泛型程序设计有更深入的了解，也可参考本书提供的方法解决实际程序设计中可能会遇到的一些难题。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页
用户名： 匿名用户
E-mail：
咨询内容：

目录

  • 目录
    前言
    第1章 绪论 1
    1.1 研究背景 1
    1.2 研究内容 2
    1.3 本书的组织结构 3
    第2章 泛型约束相关研究 4
    2.1 泛型程序设计 4
    2.2 泛型程序设计及其约束的新定义 4
    2.3 函数式语言泛型约束 5
    2.3.1 System F 5
    2.3.2 Haskell 98 6
    2.3.3 ML 7
    2.4 面向对象语言泛型约束 8
    2.4.1 C++模板约束 8
    2.4.2 Concepts概念约束 12
    2.4.3 Java泛型约束 14
    2.4.4 C#泛型约束 17
    2.4.5 小结 19
    2.5 泛型程序设计与面向对象程序设计的比较 19
    第3章 Apla中的泛型机制 21
    3.1 类型参数化 21
    3.2 操作参数化 22
    3.3 泛型Apla程序结构 22
    3.3.1 单类型参数化 22
    3.3.2 多类型参数化 23
    3.4 Apla泛型过程结构 23
    3.5 Apla泛型函数结构 24
    3.6 泛型算法示例 25
    第4章 泛型约束机制在Apla中的设计 29
    4.1 操作约束定义 29
    4.2 类型约束定义 31
    4.2.1 传统数据类型约束 31
    4.2.2 标准数据类型约束 34
    4.2.3 代数结构泛型约束库 35
    4.3 约束调用及例化 45
    4.3.1 约束调用 45
    4.3.2 约束例化 48
    4.4 完整实例 51
    4.4.1 泛型Kleene算法 51
    4.4.2 泛型二分搜索算法 56
    4.4.3 泛型Bellman-Ford算法 58
    4.4.4 泛型极值类算法 59
    4.4.5 泛型中缀表达式求值算法 60
    第5章 约束匹配检测及验证 63
    5.1 约束匹配检测 63
    5.2 约束匹配验证 64
    5.2.1 实例操作参数语义验证 64
    5.2.2 实例类型参数语义验证 67
    5.2.3 约束匹配验证实例 70
    第6章 泛型约束机制在PAR平台C++生成系统中的实现 88
    6.1 PAR平台C++生成系统 88
    6.1.1 系统主要功能 88
    6.1.2 主要功能模块 90
    6.1.3 系统界面 92
    6.1.4 规则库 94
    6.2 泛型约束机制在PAR平台上的实现 95
    6.2.1 形式类型参数检测 95
    6.2.2 实例参数语法检测 95
    6.2.3 实现实例 96
    第7章 总结 99
    参考文献 101
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

中国科技出版传媒股份有限公司　版权所有

　

京ICP备14028887号-5　 京ICP证150976号 京公网安备 11010102004214号

北京东黄城根北街16号 邮编：100717 Email:webmaster@mail.sciencep.com