Skip to main content
KBS_Icon_questionmark link-ico
Study Abroad at King’s
Study

Go to…

Programming Language Design Paradigms

Key information

  • Module code:

    5CCS2PLD

  • Level:

    5

  • Semester:

      Spring

  • Credit value:

    15

Module description

Aims and Learning Outcomes

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

On successful completion of this module, students will be able to:

  • Describe imperative languages in enough detail and sufficiently formally so that their essential aspects can be understood and distinguished clearly
  • Similarly, describe declarative languages (functional and logic) in enough detail and sufficiently formally so that their essential aspects can be understood and distinguished clearly

Syllabus

An indication of the types of topics:

The role of programming languages:

  • Paradigms
  • 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

Assessment details

Please note: The below assessment details for the 2025/26 academic year may be updated. The confirmed details will be available on the Student Handbook and on the module KEATS page at the beginning of the semester.

  • 100% Examination 

Department

Module description disclaimer

King’s College London reviews the modules offered on a regular basis to provide up-to-date, innovative and relevant programmes of study. Therefore, modules offered may change. We suggest you keep an eye on the course finder on our website for updates.

Please note that modules with a practical component will be capped due to educational requirements, which may mean that we cannot guarantee a place to all students who elect to study this module.

Please note that the module descriptions above are related to the current academic year and are subject to change.