Programming Language Design Paradigms

King's College London

Course Description

  • Course Name

    Programming Language Design Paradigms

  • Host University

    King's College London

  • Location

    London, England

  • Area of Study

    Computer Programming, Computer Science, Information Sciences

  • Language Level

    Taught In English

  • Course Level Recommendations


    ISA offers course level recommendations in an effort to facilitate the determination of course levels by credential evaluators.We advice each institution to have their own credentials evaluator make the final decision regrading course levels.

    Hours & Credits

  • UK Credits

  • Recommended U.S. Semester Credits
  • Recommended U.S. Quarter Units
  • Overview

    Module description:

    To introduce alternative languages and paradigms and the trade-offs in alternative language choices.

    Learning Outcomes:
    By the end of the module, a student should be able to describe languages in enough detail and sufficiently
    formally so that their essential aspects can be understood and distinguished clearly.

    Provisional Syllabus:
    The role of programming languages:
    Syntax, Semantics, Implementation
    Transition systems
    Imperative languages:
    General features, variables, assignment, control statements, blocks
    Operational Semantics: Abstract Machines, Structural Operational Semantics
    Functional programming languages:
    General features, function definitions, recursion
    Type Systems
    Operational Semantics
    Logic programming languages:
    General concepts
    Operational Semantics: resolution, unification

Course Disclaimer

Courses and course hours of instruction are subject to change.

Eligibility for courses may be subject to a placement exam and/or pre-requisites.

Some courses may require additional fees.

Credits earned vary according to the policies of the students' home institutions. According to ISA policy and possible visa requirements, students must maintain full-time enrollment status, as determined by their home institutions, for the duration of the program.

Please reference fall and spring course lists as not all courses are taught during both semesters.

Please note that some courses with locals have recommended prerequisite courses. It is the student's responsibility to consult any recommended prerequisites prior to enrolling in their course.