This course focuses on theoretical models for advanced programming paradigms: functional, imperative, concurrent, and probabilistic programming. Various models of programming languages and type systems are discussed. Students learn to apply programming methodology, transformations, and logic. Prerequisite: DSC-510.
Please contact distinguished papers for help with CST-540 Programming Languages or any other assignment.
Email: distinguishedpapers@yahoo.com