Oct 08, 2024  
Graduate Record 2015-2016 
    
Catalog Navigation
  Catalog Home
  University of Virginia
  Board of Visitors and University Administration
  Academic Calendar
  University Regulations
  Dining, Housing, & Tuition and Fees
  Financial Aid
  Programs and Degrees Offered
  Course Numbering Information
  Graduate School of Arts & Sciences
  Graduate School of Architecture
  Darden Graduate School of Business Administration
  Graduate School of Commerce
  Curry School of Graduate Education
  School of Graduate Engineering and Applied Science
  School of Law
  School of Medicine
  School of Graduate Nursing
  School of Continuing and Professional Studies
  Frank Batten School of Leadership and Public Policy
  Centers and Institutes
  Programs
  Course Descriptions
  Additional Academic Opportunities
  Student Services
  Archived Records
HELP
Graduate Record 2015-2016 [ARCHIVED RECORD]

CS 6610 - Programming Languages

Examines modern and non-imperative languages, the theoretical techniques used to design and understand them, and the implementation techniques used to make them run. Topics include functional languages, object-oriented languages, language safety and classification of errors, type systems, formal semantics, abstraction mechanisms, memory management, and unusual control-flow mechanisms. Example languages include Standard ML, Modula-3, CLU, Scheme, Prolog, and Icon. Prerequisite: CS 4610 or equivalent.



Credits: 3