计算机语言相关论文范例,与编程语言的实用基础相关论文开题报告

本论文是一篇计算机语言相关论文开题报告,关于编程语言的实用基础相关函授毕业论文范文。免费优秀的关于计算机语言及计算机及计算机程序方面论文范文资料,适合计算机语言论文写作的大学硕士及本科毕业论文开题报告范文和学术职称论文参考文献下载。

编程语言俗称“计算机语言”,种类非常的多,总的来说可以分成机器语言、汇编语言、高级语言三大类.电脑每做的一次动作,一个步骤,都是按照计算机语言编好的程序来执行的.程序是计算机执行的指令集合,而程序全部都是用我们所掌握的语言来编写的.所以人们要控制计算机,一定要通过计算机语言向计算机发出命令.类型是编程语言理论的核心组织原则,本书中,作者通过使用类型理论为这些语言提供了一个全新的视角.

全书分为18个部分,共50章：第1部分判定和规则,含第1-3章：1.语法对象；2.感应定义；3.假设与一般性判断.第2部分静力学和动力学,含第4-7章：4.静态类型变量；5.动态类型变量；6.变量的类型安全；7.动态评估.第3部分函数类型,含第8-10章：8.函数的定义和值；9.Gdel的T介绍；10.Plotkin的PCF介绍.第4部分有限数据类型,含第11-14章：11.积类型；12.和类型；13.模式匹配；14.泛型编程.第5部分无限数据类型,含第15-16章：15.感应及传导类型；16.递归类型变量.第6部分动力学类型,含第17-19章：17.非类型化λ演算；18.动态类型变量；19.混合类型变量.第7部分变量类型,含第20-22章：20.Girard的F系统；21.摘 要类型；22.构造函数和种类.第8部分亚型,含第23-24章：23.亚型；24.单种.第9部分类和方法,含第25-26章：25.动态调度；26.继承.第10部分例外和延续,含第27-29章：27.堆栈控制；28.例外；29.继续.第11部分含第30-31章：30.建设性逻辑；31.经典逻辑.第12部分符号,含第32-34章：32.符号；33.流体绑定；34.动态分级.第13部分状态,含第35-36章：35.现代化语言；36.分配参考.第14部分懒惰,含第37-38章：37.懒惰评价；38.极化.第15部分并行,含第39-40章：39.嵌套并行；40.未来及预测.第16部分并发式语言,含第41-43章：41.流程积分；42.并发式语言；43.分布式语言.第17部分模块化,含第44-46章：44.组件；45.抽象类型和类型类；46.层次结构和参数.第18部分推理方程式,含第47-50章：47.T的推理方程式；48.PCF的推理方程式；49.参数化；50.过程等价.

怎么写计算机语言本科论文
播放:30481次 评论:3835人

作者RobertHarper现任职于宾夕法尼亚的卡内基-梅隆大学,他的研究兴趣主要集中在类型理论,证明论和范畴论应用到编程语言į