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 3123 with a grade of “C” or higher.