CS 6110

Last Updated

  • Schedule of Classes - June 18, 2017 7:14PM EDT
  • Course Catalog - June 14, 2017 7:15PM EDT

CS 6110
Advanced Programming Languages

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

Syllabi: none

  •   Regular Academic Session.  Combined with: CS 6110

  • 4 Credits Stdnt Opt

  • 11242 CS 6110   LEC 001

  •  

  • Offered to PhD and MS students in Ithaca.

Syllabi: none

  •   Regular Academic Session.  Combined with: CS 6110

  • 4 Credits Stdnt Opt

  • 13129 CS 6110   LEC 031

  •  

  • Instruction Mode: Distance Learning - WWW
    Taught in NYC. Offered via distance learning from Ithaca campus.