Oct 31, 2024  
2024-25 Catalog 
    
2024-25 Catalog
Add to Portfolio (opens a new window)

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)
Not offered: 2024-25
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, and design an experiment, collect data, or use mathematical reasoning to test or validate it.



Add to Portfolio (opens a new window)