PRINCIPLES OF PROGRAMMING LANGUAGES

Name: PRINCIPLES OF PROGRAMMING LANGUAGES
Availability: OutOfStock
Rating: 4.5 (213 reviews)

COMPSCI 704

课程描述

Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.

先修课程

Graduate/professional standing

满足要求

This course does not satisfy any prerequisites.

学分

未报告

开课时间

未报告

平均绩点

3.81

5.8% 相比历史数据

完成率

100%

2.4% 相比历史数据

A率

62.96%

7.29% 相比历史数据

班级规模

52.11% 相比历史数据

Cumulative Grade Distribution

教师 (2026 Summr)

按评分排序，数据来自 Rate My Professors

相似课程

LEARNING A PROGRAMMING LANGUAGE

COMPSCI 368

For students interested in learning a particular programming language. Focuses on a specific language offered at one of three levels: beginner, intermediate, and advanced. Students may repeat the course if the topic title is different.

INTRODUCTION TO THEORY OF COMPUTING

COMPSCI 520

Basics about the notion, capabilities, and limitations of computation: elements of finite automata and regular languages, computability theory, and computational complexity theory. Additional topics include context-free grammars and languages, and complexity-theoretic cryptography.

CONSTRUCTION OF COMPILERS

COMPSCI 701

Principles of the design and implementation of programming languages. Topics include: Principles of compilation, static program analysis, compilation methods to support profiling, and code-generation methods. Knowledge of programming languages and compiler design strongly encouraged, such asCOMP SCI 536.

INTRODUCTION TO PROGRAMMING LANGUAGES AND COMPILERS

COMPSCI 536

Introduction to the theory and practice of compiler design. Comparison of features of several programming languages and their implications for implementation techniques. Several programming projects required.

INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES

COMPSCI 538

Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.