THE UNIVERSITY of EDINBURGH

DEGREE REGULATIONS & PROGRAMMES OF STUDY 2012/2013
- ARCHIVE for reference only
THIS PAGE IS OUT OF DATE

University Homepage
DRPS Homepage
DRPS Search
DRPS Contact
DRPS : Course Catalogue : School of Informatics : Informatics

Undergraduate Course: Language Semantics and Implementation (INFR09014)

Course Outline
SchoolSchool of Informatics CollegeCollege of Science and Engineering
Course typeStandard AvailabilityAvailable to all students
Credit level (Normal year taken)SCQF Level 9 (Year 3 Undergraduate) Credits10
Home subject areaInformatics Other subject areaNone
Course website http://www.inf.ed.ac.uk/teaching/courses/lsi Taught in Gaelic?No
Course descriptionThe 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-requisitesNone
Displayed in Visiting Students Prospectus?Yes
Course Delivery Information
Delivery period: 2012/13 Semester 2, Available to all students (SV1) Learn enabled:  No Quota:  None
Location Activity Description Weeks Monday Tuesday Wednesday Thursday Friday
CentralLecture1-11 12:10 - 13:00
CentralLecture1-11 12:10 - 13:00
First Class Week 1, Monday, 12:10 - 13:00, Zone: Central. 2.08, 10 Buccleuch Place
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
KeywordsNot entered
Contacts
Course organiserMr Vijayanand Nagarajan
Tel: (0131 6)51 3440
Email: vijay.nagarajan@ed.ac.uk
Course secretaryMrs Victoria Swann
Tel: (0131 6)51 7607
Email: Vicky.Swann@ed.ac.uk
Navigation
Help & Information
Home
Introduction
Glossary
Search DPTs and Courses
Regulations
Regulations
Degree Programmes
Introduction
Browse DPTs
Courses
Introduction
Humanities and Social Science
Science and Engineering
Medicine and Veterinary Medicine
Other Information
Timetab
Prospectuses
Important Information
 
© Copyright 2012 The University of Edinburgh - 14 January 2013 4:08 am