Apr 02, 2025  
2020-2022 Graduate Catalog 
Advanced Search
    
Catalog Navigation
Catalog Home
Letters from the Administration
Administrators, Faculty and Staff
The Graduate School
General Graduate Admission Requirements
Degree Requirements
Academic Policies and Procedures
Programs of Study
College of Arts and Sciences
College of Business
College of Education
College of Professional Studies
Graduate Course Descriptions
2020-2022 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.