Course Description Welcome to CSCI 5535 Fall 2024 edition! The objective of this course is to study the mathematical foundations of computer programs and programming languages. To understand what we ...

Study fundamental concepts on which programming of languages are based, and execution models supporting them. Topics include values, variables, bindings, type systems, control structures, exceptions, ...