Formal Languages Overview

Catalog description

Formal Languages Overview introduces students to programming language design and theory, focusing on formal semantics and type systems. It covers imperative, functional, and parallel languages, emphasizing techniques for proving language properties and verifying program specifications. Students will differentiate between functional and procedural languages, and explore compiled, interpreted, query, and assembly languages. The course also examines the structure and features of programming languages, including object-oriented programming principles. Learners will understand program correctness, testing, and verification, addressing type correctness. This course prepares students to assess programming languages against business requirements, enhancing software reliability and efficiency. Aimed at those interested in the theoretical underpinnings of programming languages, it equips students with knowledge to make informed decisions in software development and application.