CCS 400

Advanced Programming Languages

United States University · UGRD · Fall 2026

1 section

Catalog description

This course covers functional and logic programming, concepts of programming language design, and formal reasoning about programs and programming languages. The key topics include: ML/OCaml, operational, axiomatic and denotational semantics, fixpoints and logic programming.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 3 hours ago

001

Availability not recently verified

Class #united_states-0047Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?