CS 6860

Last Updated

  • Schedule of Classes - May 15, 2019 12:56PM EDT
  • Course Catalog - March 4, 2019 1:00PM EST

CS 6860
Logics of Programs

Course information provided by the 2018-2019 Catalog.

Topics in type theory as a foundation for programming languages and computing theory. The key prerequisites are CS 6110 and CS 4810. Topics will include: semantics of programming languages and logics, constructive and intuitionistic logics, the propositions-as-types principle, extracting proofs from programs, Hoare logics and Kleene algebras for reasoning about programs, computational complexity in type theory, formal relationships among type theories and programming logics, inductive and co-inductive types.


Prerequisites/Corequisites Prerequisite: CS 6110, CS 4810, and MATH 4810.

When Offered Spring.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 17910 CS 6860   LEC 001

  •  

  • Instruction Mode: In Person