CS 5114

Last Updated

  • Schedule of Classes - January 9, 2020 9:13AM EST
  • Course Catalog - January 9, 2020 9:14AM EST

CS 5114
Network Programming Languages

Course information provided by the 2019-2020 Catalog.

This course provides an introduction to novel programming languages for controlling computer networks. It will examine recent proposals based on logic, functional, and streaming languages, as well as tools for establishing the correctness of programs written in such languages using SAT/SMT solvers, model checkers, and proof assistants. Evaluation will be based on class participation and projects.


Prerequisites/Corequisites Prerequisite: CS 4110, CS 6110, CS 6410.

When Offered Fall.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Combined with: CS 6114

  • 4 Credits Stdnt Opt

  • 12397 CS 5114   LEC 001

  •  

  • Instruction Mode: In Person