IFN660

Programming Language Theory

课程介绍： 本课程将您对计算机编程的理解扩展为仅仅是编程语言的用户，以了解他们的设计和实现。它介绍了技术概念，如编程语言语法，解析，类型理论，静态分析，编译和解释。编程语言是所有软件开发人员使用的基本工具。这些语言不仅是指导计算机如何执行计算的手段，而且它们的设计影响程序员对计算解决方案的思考方式，并且它们的实现决定了生成的可执行代码的执行效果。由于编译或解释过程，用不同编程语言编写的程序都可以在同一计算机硬件上运行。 通常，这个过程是完全自动化的，对程序员来说是透明的，但编译器或解释器的工作方式对程序开发和调试期间返回给程序员的各种反馈以及生成的可执行代码的时间和空间效率有重要影响。因此，了解编译/解释过程对于高级程序员来说至关重要，特别是在专业编程领域，如实时编程，并行编程，嵌入式编程和安全关键编程。 学科点数：12 授课形式：本课程需要您通过实践来学习，每个星期，课程将聚集在一个互动的学习空间，并共同研究和发展编程语言。在互动研讨会期间，学生将分成较小的子团队来调查和开发系统的各个组件，然后将它们整合到一个整个系统中。