C S 386L
Programming Languages
Topics include formal syntax representations, program correctness, typing, and data abstraction. Features and problems in languages that allow parallelism. Exploration of different programming styles, such as imperative, functional, logic, data flow, and object-oriented programming. Three lecture hours a week for one semester.
Topics
- formal syntax representations
- program correctness
- typing
- and data abstraction
Topics explicitly listed in official catalogue description
Prerequisites & course information
Topics include formal syntax representations, program correctness, typing, and data abstraction. Features and problems in languages that allow parallelism. Exploration of different programming styles, such as imperative, functional, logic, data flow, and object-oriented programming. Three lecture hours a week for one semester.
Sources
- Course catalogue ↗2026-2027