Mar 28, 2024  
2022-2023 Graduate Catalog 
    
2022-2023 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.