- Schedule of Classes - June 18, 2017 7:14PM EDT
- Course Catalog - June 14, 2017 7:15PM EDT
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.
Combined with: CS 6110
Credits and Grading Basis
4 Credits Stdnt Opt(Letter or S/U grades)
Class Number & Section Details
- MWFBill and Melinda Gates Hll 114
Offered to PhD and MS students in Ithaca.
Or send this URL: