Dec 01, 2021  
2019-2020 Undergraduate Catalog 
2019-2020 Undergraduate Catalog [ARCHIVED CATALOG]

CS 3713 - Comparative Programming Languages (3) SP

Discussion of the important issues in the specification, design and implementation of programming languages with emphasis on imperative programming. Emphasis is on evaluating alternative ways of providing various symbols, abstractions, definitions, theorems, proofs, programming language features and trade-offs involved. Topics include syntactic specification, data types, and the like, abstraction mechanisms, sequence control, data control, storage management, functional programming and about its capabilities and limitations, universal models introduction to programming verification. Several languages are used to illustrate these programming language concepts.

Prerequisite: CS 2233  with a grade of “C” or higher.