CSCD 417 — Theory and Survey of Programming Languages
Computer Science · University of Ghana
This course will study an exploration of modern or unconventional concepts of programming languages, their semantics, and their implementations; abstract data types; axiomatic semantics using Hoare's logic and Dijkstra's predicate transformers; denotational semantics; functional, object-oriented, and logic programming; concurrency and Owicki-Gries theory. Example languages include ML, Ada, Oberon, LISP, PROLOG, and CSP. Presents the fundamental concepts of programming language design and implementation. Emphasizes language paradigms and implementation issues. Develops working programs in languages representing different language paradigms. Many programs oriented toward language implementation issues. Concepts for structuring data, computation, and whole programs
- Credits
- 3
- Level
- Level 400
Other courses on this programme
- CSCD 400 — Project
- CSCD 409 — Data Mining & Warehousing
- CSCD 415 — Compilers
- CSCD 416 — System Programming
- CSCD 418 — Computer Systems Security
- CSCD 419 — Formal Methods and Models
- CSCD 421 — Accounting Principles in Computing
- CSCD 422 — Human Computer Interaction
- CSCD 423 — Software Modeling and Simulation
- CSCD 424 — Management Principles in Computing
- CSCD 426 — Multimedia Applications
- CSCD 427 — Data Communication & Networking II
Practising CSCD 417 with Questora
Upload your own slides, notes and past papers for CSCD 417 and Questora builds mock exams, practice questions and a revision plan from them.
Start freeCourse details from University of Ghana Volume 3 Handbook for the Bachelor's Degree: Course Descriptions for Programmes in the Sciences (2017).