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 9 (Year 3 Undergraduate) |
Credits | 10 |
| Home subject area | Informatics |
Other subject area | None |
| Course website |
http://www.inf.ed.ac.uk/teaching/courses/lsi |
Taught in Gaelic? | No |
| 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 (not applicable to Visiting Students)
| 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 |
Information for Visiting Students
| Pre-requisites | None |
| Displayed in Visiting Students Prospectus? | Yes |
Course Delivery Information
|
| Delivery period: 2011/12 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. DHT Faculty Rm North |
| Exam Information |
| Exam Diet |
Paper Name |
Hours:Minutes |
|
|
| Main Exam Diet S2 (April/May) | | 2:00 | | | | Resit Exam Diet (August) | | 2:00 | | |
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. |
Special Arrangements
| None |
Additional Information
| Academic description |
Not entered |
| Syllabus |
Dynamic Language Semantics: Semantic rules as an inference system; treatment of variable assignment, iteration, scope, function declaration and application, parameter passing, records, recursion. Static Semantics: Semantic rules for type checking as an inference system. Abstract Machines and Implementation: The SMC machine for an imperative while language and the Java Virtual Machine.
Relevant QAA Computing Curriculum Sections: Comparative Programming Languages, Compilers and Syntax Directed Tools |
| Transferable skills |
Not entered |
| Reading list |
* * M. Hennessy, The Semantics of Programming Languages, Wiley, 1990.
* * G. D. Plotkin, (Parts of) A Structural Approach to Operational Semantics, Aarhus Research Report.
* *** A. Pitts, Semantics of Programming Languages, Lecture Notes, University of Cambridge, http://www.cl.cam.ac.uk/Teaching/2000/Semantics/
|
| Study Abroad |
Not entered |
| Study Pattern |
Lectures 20
Tutorials 8
Timetabled Laboratories 0
Non-timetabled assessed assignments 0
Private Study/Other 72
Total 100 |
| Keywords | Not entered |
Contacts
| Course organiser | Dr Nigel Goddard
Tel: (0131 6)51 3091
Email: Nigel.Goddard@ed.ac.uk |
Course secretary | Miss Tamise Totterdell
Tel: 0131 650 9970
Email: t.totterdell@ed.ac.uk |
|
© Copyright 2011 The University of Edinburgh - 16 January 2012 6:16 am
|
University Homepage