CS 6110

Course information provided by the Courses of Study 2016-2017.

Study of programming paradigms: functional, imperative, concurrent, and probabilistic programming. Mathematical foundations: inductive definitions, fixed points, and formal semantics. Models of programming languages including the lambda calculus. Type systems, polymorphism, modules, and object-oriented constructs. Program transformations, program logic, and applications to programming methodology. 

When Offered Spring.

Permission Note Enrollment limited to: graduate standing or permission of instructor.

View Enrollment Information

Enrollment Information
Syllabi: none
  •   Combined with: CS 6110

  • 4 Credits Stdnt Opt

  • 11242CS 6110  LEC 001

  • Offered to PhD and MS students in Ithaca.

Enrollment Information
Syllabi: none
  •   Combined with: CS 6110

  • 4 Credits Stdnt Opt

  • 13129CS 6110  LEC 031

  • Taught in NYC. Offered via distance learning from Ithaca campus.