CS 565: Programming Languages

3 credits

Spring 2025 Lecture Upper Division

Data from

Spring 2025

last updated 3/29/2025

Spring 2025 Instructors:

Suresh Jagannathan

GPA

3.50

Catalog

An exploration of modern or unconventional concepts of programming languages, their semantics, and their implementations; abstract data types; axiomatic semantics using Hoare's logic and Dijkstra's predicate transformers; denotational semantics; functional, object-oriented, and logic programming; concurrency and Owicki-Gries theory. Example languages include ML, Ada, Oberon, LISP, PROLOG, and CSP.

Course CS 565 from Purdue University - West Lafayette.