Jan 23, 2026  
2025-2026 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Welcome to Graduate Studies
  About USF
  Academic Calendar
  Contacts / Deadlines - Majors
  Contacts / Deadlines - Certificates
  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 Certificate Policies
  Degree Requirements
  Graduation and Postdoctoral Affairs
  Updates for 2025-2026 Graduate Catalog
  Archives and Print Copy
  My Portfolio
HELP
2025-2026 Graduate Catalog
Add to Portfolio (opens a new window)

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 Bellini College of Artificial Intelligence, Cybersecurity, and Computing | Department of Artificial Intelligence, Cybersecurity, and Computing


Add to Portfolio (opens a new window)