Undergraduate Course: Language Semantics and Implementation (INFR09014)
Course Outline
School |
School of Informatics |
College |
College of Science and Engineering |
Course type |
Standard |
Availability |
Available to all students |
Credit level (Normal year taken) |
SCQF Level 09 (Year 3 Undergraduate) |
Credits |
10 |
Home subject area |
Informatics |
Other subject area |
None |
Course website |
http://www.inf.ed.ac.uk/teaching/courses/lsi |
|
|
Course description |
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 |
|
Co-requisites |
|
Prohibited Combinations |
|
Other requirements |
Successful completion of Year 2 of an Informatics Single or Combined Degree, or equivalent by permission of the School.
|
Additional Costs |
None |
Course Delivery Information
|
Delivery period: 2010/11 Semester 2, Available to all students (SV1)
|
WebCT enabled: No |
Quota: None |
Location |
Activity |
Description |
Weeks |
Monday |
Tuesday |
Wednesday |
Thursday |
Friday |
Central | Lecture | | 1-11 | 12:10 - 13:00 | | | | | Central | Lecture | | 1-11 | | | | 12:10 - 13:00 | |
First Class |
Week 1, Monday, 12:10 - 13:00, Zone: Central. Room 2.07, Appleton Tower |
Summary of Intended Learning Outcomes
1 - Principles of programming language design and implementation, and of type-checking.
2 - Formal approaches to problems, including mathematical modelling via definitions and proofs by induction.
3 - Ability to read, write and exercise formal specifications of programming languages.
4 - Ability to read and appreciate formal specifications of programming and other formal langauges, and, perhaps, formal specification more generally. Improved ability in discrete mathematics. |
Assessment Information
Written Examination 100
Assessed Assignments 0
Oral Presentations 0
Assessment
via Written Examination.
If delivered in semester 1, this course will have an option for semester 1 only visiting undergraduate students, providing assessment prior to the end of the calendar year. |
Please see Visiting Student Prospectus website for Visiting Student Assessment information |
Special Arrangements
Not entered |
Contacts
Course organiser |
Dr Marcelo Cintra
Tel: (0131 6)50 5118
Email: mc@inf.ed.ac.uk |
Course secretary |
Miss Tamise Totterdell
Tel: 0131 650 9970
Email: t.totterdell@ed.ac.uk |
|
copyright 2010 The University of Edinburgh -
1 September 2010 6:09 am
|