Dec 11, 2024  
2023-2024 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Letters from the Administration
  University Policy Statement
  History
  The Graduate School
  Faculty
  Programs of Study
  College of Arts and Sciences
  College of Business
  College of Education
  College of Professional Studies
  Graduate Course Descriptions
  Academic Policies and Procedures
  General Graduate Admission Requirements
  Additional Admissions Requirements
  Financial Information
  Student Services
  University Buildings and Facilities
HELP
2023-2024 Graduate Catalog [ARCHIVED CATALOG]

COSC 551 - Formal Methods in Programming Languages

3 Credits

Prerequisite(s): COSC 504 Evolution of some imperative programming languages; formal methods of describing syntax; semantics; data types and variables; assignment statements; control structures; subprograms and their implementation; exception handling; logic programming languages; data abstraction.