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 | This course is open to all Informatics students including those on joint degrees. For external students where this course is not listed in your DPT, please seek special permission from the course organiser. |
| Additional Costs | None |
Information for Visiting Students
| Pre-requisites | None |
| Displayed in Visiting Students Prospectus? | Yes |
Course Delivery Information
|
| Delivery period: 2014/15 Semester 2, Available to all students (SV1)
|
Learn enabled: No |
Quota: None |
|
Web Timetable |
Web Timetable |
| Course Start Date |
12/01/2015 |
| Breakdown of Learning and Teaching activities (Further Info) |
Total Hours:
100
(
Lecture Hours 20,
Supervised Practical/Workshop/Studio Hours 8,
Summative Assessment Hours 2,
Programme Level Learning and Teaching Hours 2,
Directed Learning and Independent Learning Hours
68 )
|
| Additional Notes |
|
| Breakdown of Assessment Methods (Further Info) |
Written Exam
80 %,
Coursework
20 %,
Practical Exam
0 %
|
| 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 80
Assessed Assignments 20
Oral Presentations 0
Assessment Information
Two written assignments each contribute 10% to the final course grade, and are particularly directed at learning outcome 3. A written examination contributes the remaining 80%.
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 24
Private Study/Other 48
Total 100 |
| Keywords | Not entered |
Contacts
| Course organiser | Mr Vijayanand Nagarajan
Tel: (0131 6)51 3440
Email: |
Course secretary | Miss Claire Edminson
Tel: (0131 6)51 7607
Email: |
|
© Copyright 2014 The University of Edinburgh - 13 February 2014 1:36 pm
|
University Homepage