Theory of Programming Languages 程序设计语言理论
张昱
School of Computer Science and Technology
S h l f C t S i    d T h l
University of Science and Technology of China
September, 2009
课程简介
计算机科学的理论
关于程序设计语言的研究
学习本课程的意义
参考书目及资源
课程要求
计算机科学的理论
数理逻辑
一阶逻辑、高阶逻辑、公理集合论、递归论、模型论和证明论等，它也是现代数学的基础
计算理论
可计算性和计算复杂性、算法、形式语言理论、自动机理论等
程序理论
形式语义、类型论、 演算、程序验证等等
数值计算
围绕程序设计语言的研究
语法
形式语言和自动机理论，语法分析的实现技术
语义
编程语言翻译公理语义、操作语义、指称语义、属性文法
形式描述技术还有：代数规范、范畴论
程序设计的范型
命令式语言、函数式语言、逻辑程序设计语言、面向对象程序设计语言、并行程序设计语言
关于程序设计语言的研究
类型论与类型系统
多态类型、子类型、存在类型、依赖类型等
程序验证
程序正确性证明
程序分析技术
数据流分析、控制流分析、模型检查、抽象解释
程序的自动生成技术
程序变换

版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198，我们将在24小时内删除。