COMP26020
Programming Languages & Paradigms
20
Full year
Undergraduate
Level 2
Joseph Razavi
Unit coordinator
Department of Computer Science
1
FHEQ level (Framework for Higher Education Qualifications) ' Middle part of Bachelors '
European Credit Transfer & Accumulation System Rating : 10.0
<p>There is a variety of programming languages designed with different features aiming to address different types of problems. The unit is an advanced course for students who have already mastered one programming language. It is trying to consider the broad spectrum of different programming paradigms and how these can be used and translated.</p>
<div><span style="font-size:11pt"><span style="line-height:107%"><span style="font-family:Calibri,sans-serif">There is a variety of programming languages designed with different features aiming to address different types of problems. The unit is an advanced course for students who have already mastered one programming language. It is trying to consider the broad spectrum of different programming paradigms and how these can be used and translated.</span></span></span></div>
<div><p style="margin-bottom:11px"><span style="font-size:11pt"><span style="line-height:107%"><span style="font-family:Calibri,sans-serif">To provide advanced coverage of the main programming paradigms used in computing, how they differ, how they can be used and translated.</span></span></span></p></div><div><div> </div></div><p> </p>
<ul><li>Design, implement, modify, test, debug and evaluate programs in C, C++, Solidity and Haskell<br/> </li><li>Compare and contrast the appropriateness of various programming languages and paradigms with respect to real-world problems<br/> </li><li>Explain the advantages and disadvantages of functional programming with respect to imperative programming<br/> </li><li>Describe the principles, outline the problems, and discuss methods and techniques applied to the compilation process<br/> </li><li>Explain the role of each of the basic components of a standard compiler<br/> </li><li>Write C/C++ code conforming to best practice<br/> </li><li>Identify the impact of modern trends in programming languages</li></ul><div><div><div> </div></div><div> </div><div> </div></div><p> </p>
<div> </div><div> </div>
<div> Analytical skills</div><div> Innovation/creativity</div><div> Problem solving</div><div> </div>
<div> The course unit will be structured according according to 4 complementary parts:</div><div> </div><div> Part I: Overview and the imperative programming paradigm: C, C++</div><div> Overview of the main programming paradigms: imperative vs declarative, structured, object-oriented, concurrent, functional</div><div> Structured imperative programming in C</div><div> Syntax, type system, control flow, build/debugging tools</div><div> Dynamic memory allocation, pointers</div><div> Introduction to Object Oriented programming in C++</div><div> Polymorphism and Inheritance</div><div> C/C++ use cases</div><div> high performance computing, systems/kernel programming</div><div> Memory (un)safety in C/C++ programs, memory errors: vulnerabilities, attacks, defenses</div><div> </div><div> Part II: Functional programming: Haskell</div><div> Basic concepts of functional programming: datatypes and recursive functions</div><div> Haskell basics</div><div> List comprehension, Case study: sorting algorithms</div><div> Trees, Case study: binary search trees, red-black trees</div><div> Using higher-order functions: lambda, map, fold</div><div> Monads</div><div> Type classes</div><div> Lazy Evaluation</div><div> Case study: Parser combinators</div><div> </div><div> Part III: Compilation of Programming Languages</div><div> Introduction: What is a compiler, high-level view of compilation, a general structure of a compiler.</div><div> The Front-End: Lexical analysis, syntax analysis, semantic analysis</div><div> The Middle-End: Intermediate representation, code optimisation</div><div> The Back-End: Code generation</div><div> </div><div> Part IV: Advanced Topics</div><div> Introduction to Solidity</div><div> Concurrent Execution</div><div> Blockchains and Smart Contracts</div><div> Contemporary Trends in Languages</div><div> </div><div> </div>
<div>Lectures: 44 in total, 2 x 1 hour per week</div><div>Laboratories: 2-hour sessions every fortnight (10 hours per Semester, 20 hours in total)</div><div>Feedback: Formative feedback based on assessment of solutions to small problems. Feedback is also provided by teaching assistants in the laboratory.</div><div>Assessment: one 2-hour exam at the end of the module.</div><div> </div>
1
Written exam
70%
2
Written assignment (inc essay)
30%
<p>Feedback through marking</p>
COMP16321
Introduction to Programming 1
Pre-Requisite
Compulsory
COMP16412
Introduction to Programming 2
Pre-Requisite
Compulsory
COMP26020 pre-requisites<p>COMP16321 and COMP16412 are pre-requisites for COMP26020</p>
N
<p><a href="http://studentnet.cs.manchester.ac.uk/syllabus/index.php?code=COMP26020&year=2020">COMP26020 reading list</a> can be found on the Department of Computer Science internal pages</p>
Lectures
44
Practical classes & workshops
20
0
136