程序语言设计与程序分析(张昱) 2021春  课程号:COMP5001P01
2021春  课程号:COMP5001P01
5.0(2人评价)
  • 课程难度:困难
  • 作业多少:很多
  • 给分好坏:一般
  • 收获大小:一般
选课类别:基础 教学类型:理论实验课
课程类别:研究生课程 开课单位:计算机科学与技术系
课程层次:硕士 学分:4
简介

在当今“大智物移云”(大数据、智能化、物联网、移动互联网、云计算)的时代,计算无处不在,软件定义一切。程序语言作为人机间的桥梁在不断发展,以解决层出不穷的新问题;业界需要更多理解程序语言原理及实现技术的人才来为复杂系统提供可靠和高效的解决方案。

本课程作为计算机科学与技术的学科基础课,主要讲授程序语言设计和程序分析两大部分的内容。

在程序语言设计部分,通过系统介绍面向对象语言、脚本语言、函数式语言、逻辑语言、系统编程语言等不同范型程序语言的通用概念(如变量及作用域、函数、闭包、类型、内存管理、并发等)及其理论(静态语义和操作语义)和实现技术,让学生不仅知道如何编程,还能理解概念的思想本质,即建立“计算素养”,为计算提供清晰的概念思维模型。

在程序分析部分,系统介绍主流程序分析的方法论和技术,包括类型分析、格理论与不动点、数据流与控制流、程序切片、抽象解释等;结合程序结构特征,讲解区间分析、扩展和缩小(widening和narrowing) 、路径敏感性分析、过程间分析等方法。

通过本课程的学习,帮助学生构建较完整的程序语言与程序分析的知识体系,建立计算概念思维模型,为进一步开展程序语言、软件工程、软件安全、新型计算系统等领域的学术研究打下基础,在实践上培养开发大型软件工程工具的开发能力。

最后更新:

点评 写点评
woooooo 2021春

别选!!   

别选!!!

别选!!!

这门课真的太烂了, 为了凑基础课学分选这门课真是大错特错了, 完全可以选算法, 县长的计算机应用数学或者计算机系统来凑. 这门课没有个什么大纲架构, 完全是老师拼凑的各种内容在一起. 课程主页上直接给你甩一脸的链接, 一点开就是又臭又长的文档. 抱着深入理解语言的底层, 探索各种编程语言共通的本质的目的来选的这门课, 结果是完全学不到东西, 课时又长, 作业实验巨多, 而且实验要求什么的也讲不清楚. 这门课要不是学这个方向的, 没必要接触, 要想学好这门课投入的精力和收获完全不成正比, 性价比极低. 选这门课的人一共不到 20 , 是有原因的. 当然这门课给分杀手, 要不是没有其他两门基础课的高分拉一下, 基础课均分就完了. 后悔, 后悔当事人现在就是很后悔.

2 0
秋裤 2021春

 可以试试

0 0

张昱

教师主页: 戳这里

其他老师的「程序语言设计与程序分析」课

张昱老师的其他课

编译原理和技术(H) 8.4 (18) 2021秋 2020秋...
程序设计语言基础 10.0 (1) 2013春
量子软件前沿 9.0 (1) 2019秋
程序设计语言理论 8.0 (1) 2020春 2018秋...
程序设计语言基础 7.0 (2) 2019春 2018春
编译原理和技术 1.0 (1) 2021秋 2012春
量子软件前沿 2020秋 2019秋
编译原理和技术 2010春 2009春...
数据结构 2009秋 2008秋...
数据结构与数据库 2007春 2005春...
编译原理 2017秋 2016秋...
“科学与社会”研讨课 2021秋 2021春...