CS 6110

CS 6110

Course information provided by the Courses of Study 2020-2021.

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 students or permission of instructor.

View Enrollment Information

Enrollment Information
Syllabi: none
  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 10416CS 6110  LEC 001

    • MWFMalott Hall 251
    • Feb 8 - May 14, 2021
    • Kozen, D

  • Instruction Mode: In Person
    This section requires in-person attendance and is restricted to PhD and MS students only. All others should add themselves to the waitlist during add/drop.
    Enrollment limited to students who are able to attend in-person classes in the Ithaca area.

Enrollment Information
Syllabi: none
  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 21229CS 6110  LEC 002

    • MWFOnline Meeting
    • Feb 8 - May 14, 2021
    • Kozen, D

  • Instruction Mode: Online
    This section requires in-person attendance and is restricted to PhD and MS students only. All others should add themselves to the waitlist during add/drop.

Enrollment Information
Syllabi: none
  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 19508CS 6110  LEC 030

  • Instruction Mode: Online
    Taught in NYC at Cornell Tech. Class will be streamed from Ithaca. Enrollment is restricted to Cornell Tech PhD students.