编程语言 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)。
要了解更多关于美国计算机专业留学信息请点击 http://www.cs.easyoz.com ，或者拨打全国免费留学咨询热线：400-6989-511，我们将真诚专业为您解答，敬期您的来电!
