Course Descriptor
|
|
Course Descriptor |
|
Course Web page
| Credit Points | 10 | ||
| Credit Level | 10 | ||
| Acronym | INF-3-LSI | ||
| Study Pattern | Study Format | Hours | |
|---|---|---|---|
| Lectures | 20 | ||
| Tutorials | 8 | ||
| Timetabled Laboratories | 0 | ||
| Non-timetabled assessed assignments | 30 | ||
| Private Study/Other | 42 | ||
| Total | 100 | ||
| Pre-requisite Courses | None | ||
| Other Pre-requisite Requirements | Successful completion of Year 2 of an Informatics Single or Combined Degree, or equivalent by permission of the School. | ||
| Co-requisites/Forbidden Combinations | None | ||
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.
| Assessment Weightings (%) | Assessment | % | Written Examination | 75 | Assessed Assignments | 25 | Oral Presentations | 0 |
|---|---|---|---|
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
|
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk Please contact our webadmin with any comments or corrections. Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh |