美国留学申请美国大学计算机专业(CS)的学生非常多。美国大学CS专业的研究分支也非常 多，不同分支对学生的要求也会不同，因此，学生们要根据自己的条件选择适合自己的研究方向。下面主要为大家介绍的是美国大学CS专业分支编程语言专业 Programming Languages的相关内容。希望对大家的美国大学CS专业申请有所帮助。
美国大学CS专业分支编程语言专业 Programming Languages
该领域的研究包括计算机语言的设计与实现，其目标是同时提高开发人员的开放效率和软件质量。包含如下一些课题：
1、程序语言设计和实现(Programming Language Design and Implementation)：编译器优化(Compiler optimization)，语义(Semantics)，即时编译器(JIT complier)，域特定语言(DSL：Domain-specific languages)。
2、编程环境和工具(Programming Environments and Tools)：监控(Monitoring)，程序员搜索引擎(Programmer search engines)，基于模型的设计(Model-based design)。
3、程序分析和验证(Program Analysis and Verification)：模型检测(Model checking)，静态和动态分析(Static and dynamic analysis)，定理证明(Theorem proving)，实时系统的任务调度分析(Schedulability analysis for real-time systems)。
由于专业性和英语学习，Programming专业对于留学生来说也是充满挑战的学科，想要进一步学好Programming专业，可以寻求 online tutoring 等学术资源。
https://www.studygate.com/blog-cn/programming%E7%BC%96%E7%A8%8B%E4%BB%A3%E5%86%99/
https://www.studygate.com/blog-cn/computer-science%E4%BB%A3%E5%86%99/