美國留學申請美國大學計算機專業(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/
