Dec 17, 2024  
2024-2025 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Welcome to Graduate Studies
  About USF
  Academic Calendar
  Graduate Studies Directory
  College Information
  Programs by College/Department
  Majors (A-Z)
  Graduate Certificates (A-Z)
  Bachelor’s/Master’s Pathways
  Concurrent Degrees
  Course Information
  Course Descriptions
  Programs/Courses by College/Department
  Admissions
  Graduate Faculty
  General Information
  Financial Information
  Academic Policies
  Graduate Certificates
  Degree Requirements
  Graduation and Postdoctoral Affairs
  Updates for 2024-2025 Graduate Catalog
  Archives and Print Copy
HELP
2024-2025 Graduate Catalog

COP 6021 Programming Languages: Design and Analysis

Credit Hours: 3

In-depth, graduate-level study of the design and analysis of programming languages. Functional programming, deductive systems, operational semantics, type systems, and proofs of type safety.

Prerequisite(s): None
Corequisite(s): None
Co-Prerequisite(s): None

USF College of Engineering | Department of Computer Science and Engineering