CSCI 384 - Programming Language Design and Implementation

A study of the organization and structure of modern programming languages. This course will survey key programming language paradigms, including functional, object-oriented, and logic-based languages, with particular focus on the fundamental concepts underlying them, including their syntax, semantics, and type systems. It will take a mathematical approach, examining several strong ties with formal logic and the mechanization of proof, especially logics and proof methods related to the properties of programs.

Unit(s): 1
Group Distribution Requirement(s): Distribution Group III
Prerequisite(s): CSCI 221 and MATH 112 or MATH 113
Instructional Method: Lecture-conference
Grading Mode: Letter grading (A-F)
Group Distribution Learning Outcome(s):

Use and evaluate quantitative data or modeling, or use logical/mathematical reasoning to evaluate, test or prove statements.
Given a problem or question, formulate a hypothesis or conjecture, design an experiment, and collect data or use mathematical reasoning to test or validate it.