Skip to main content
Academics Indiana University
Courses

CSCI-B 522: PROGRAMMING LANGUAGE FOUNDATIONS (3 credits)

Offered at IU Bloomington by Luddy School of Informatics, Computing, and Engineering.

About

Introduction to denotational, operational, and axiomatic approaches to programming language semantics. Semantic analysis of major programming language features. Logics of programs.

Resources