微信扫一扫联系客服
微信扫描二维码
进入报告厅H5
关注报告厅公众号
182
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective—-has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages.
类型系统是一种语法方法，通过根据计算的值类型对程序短语进行分类，自动检查是否存在某些错误行为。从类型理论的角度研究类型系统和编程语言在软件工程、语言设计、高性能编译器和安全性方面有着重要的应用。本文全面介绍了计算机科学中的类型系统和编程语言的基本理论。
相关文库
计算机行业：AIGC行业应用畅想
3022
类型：行研
上传时间:2023-04
标签：计算机、AIGC)
语言：中文
金额：5积分
零信任SaaS，美国经验与中国特色-20200802-42页
2735
类型：行研
上传时间:2020-08
标签：计算机、saas)
语言：中文
金额：免费
计算机行业安全服务：网络安全行业的制高点-20210221-64页
2483
类型：行研
上传时间:2021-02
标签：计算机、网络安全)
语言：中文
金额：免费
2021年IEEE高新能计算论文合集
2442
类型：学习教育
上传时间:2021-05
标签：高性能计算、学术、计算机)
语言：中文
金额：30积分
计算机行业专题研究：MES深度报告下篇，7大海外巨头，6家中国领军全梳理-20201015-55页
2360
类型：行研
上传时间:2020-10
标签：计算机、MES)
语言：中文
金额：免费
计算机视觉研究报告-发布版
2112
类型：行研
上传时间:2020-11
标签：计算机视觉)
语言：中文
金额：免费
中国计算机视觉人才调研报告2020年
2082
类型：专题
上传时间:2021-02
标签：计算机视觉、人才)
语言：中文
金额：5积分
计算机行业：信创产业发展研究-20220510-84页
1803
类型：行研
上传时间:2022-05
标签：计算机、信创)
语言：中文
金额：免费
计算机行业对于低代码工具发展的思考：AI降低软件使用门槛，交付自动化提升工具价值
1740
类型：行研
上传时间:2023-06
标签：计算机、AI、低代码)
语言：中文
金额：5积分
计算机行业：工业软件，研究框架-20200618-132页
1540
类型：行研
上传时间:2020-07
标签：计算机、工业软件、券商报告)
语言：中文
金额：免费
积分充值
30积分
6.00元
90积分
18.00元
150+8积分
30.00元
340+20积分
68.00元
640+50积分
128.00元
990+70积分
198.00元
1640+140积分
328.00元
微信支付
余额支付
积分充值
应付金额:
0 元
请登录，再发表你的看法
登录/注册