Courses / Module

Toggle Print

Module PROGRAMMING LANGUAGE DESIGN & SEMANTICS

Module code: CS424
Credits: 5
Semester: 1
Department: COMPUTER SCIENCE
International: Yes
Overview Overview
 

This module is about the design of programming languages. In particular it is concerned with the syntax, the semantics and usability of a programming language. The basics of lambda calculus, both untypes and simply typed, will be studied, with an eye towards its use in formalizing the semantics of programming languages. Working knowledge of three languages Scheme, Haskell, and Prolog) will be acquired. Semantics will be studied using both formal machinery and an interpreter-based approach.

Open Learning Outcomes
 
Open Teaching & Learning methods
 
Open Assessment
 
Open Autumn Supplementals/Resits
 
Open Pre-Requisites
 
Open Timetable
 
Back to top Powered by MDAL Framework © 2022
V5.3.3 - Powered by MDAL Framework © 2022