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.