Show/hide main menu

Modules

5CCS2PLD Programming Language Design Paradigms

Credit value: 15
Lecturer: Professor Maribel Fernandez, Dr Elliot Fairweather (office hours)
Semester: 2
Teaching pattern: weekly 2-hour lecture; 1-hour practical; 1-hour tutorial

Assessment

Formative assessment: two pieces of coursework

Learning aims & outcomes

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

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

Syllabus
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

Suggested Reading and Resources (Link to MyReadingLists)

07 September 2017

 

Sitemap Site help Terms and conditions  Privacy policy  Accessibility  Modern slavery statement  Contact us

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454