Language Semantics and Implementation (U01905)

? Credit Points : 10 ? SCQF Level : 9 ? Acronym : INF-3-LSI

The aim of the course is to present a unified view of programming language semantics and implementation, based upon the linked notions of structured operational semantics and abstract machines. Different styles of languages (such as declarative and object oriented) will be treated.

Entry Requirements

? Pre-requisites : Successful completion of Year 2 of an Informatics Single or Combined Degree, or equivalent by permission of the School.

Subject Areas

Home subject area

Theoretical Computer Science, (School of Informatics, Schedule O)

Delivery Information

? Normal year taken : 3rd year

? Delivery Period : Semester 2 (Blocks 3-4)

? Contact Teaching Time : 3 hour(s) per week for 10 weeks

First Class Information

Date	Start	End	Room	Area	Additional Information
09/01/2007	11:10	12:00	Lecture Room 5326, JCMB	KB

All of the following classes

Type	Day	Start	End	Area
Lecture	Tuesday	11:10	12:00	KB
Lecture	Friday	11:10	12:00	KB

Summary of Intended Learning Outcomes

Principles of programming language design and implementation, and of type-checking.

Formal approaches to problems, including mathematical modelling via definitions and proofs by induction.

Ability to read, write and exercise formal specifications of programming languages.

Ability to read and appreciate formal specifications of programming and other formal langauges, and, perhaps, formal specification more generally. Improved ability in discrete mathematics.