Sep 30, 2024  
2024-2025 Undergraduate Catalog 
    
2024-2025 Undergraduate Catalog

CPSC 354 - Programming Languages


Prerequisites, MATH 250 CPSC 350 . Students develop an understanding of the organization and design of programming languages through writing interpreters for three different toy languages illustrating a range of programming concepts from pure functional languages to imperative languages with memory management. Moreover, the course will open windows into topics of programming languages research such as parsing, operational and denotational semantics, term rewriting, Hoare logic, verification, and theorem proving. Letter grade with Pass/No Pass option. (Offered fall semester.) 3 credits