Module Specifications
Academic Year 2026 - 2027
Our systems are undergoing maintenance and are temporarily unavailable. Please try again later.
| |||||||||||||||||||||||||||||||||||||||||||||||||
|
Description This module will introduce the student to essential programming concepts on which modern programming languages are designed. This module will allow students to understand design choices in current programming languages, and to readily understand the features that may introduced into future programming languages. | |||||||||||||||||||||||||||||||||||||||||||||||||
|
Learning Outcomes 1. Explain the essential concepts underpinning modern programming languages. 2. Evaluate a programming language with respect to its design choices and appropriateness for a given programming task 3. Implement a fundamental programming task and data structure in an imperative and declarative fashion 4. Compare a procedural programming language with an object oriented programming language within the context of programming language design concepts 5. Compare a functional programming language with a logic programming language within the context of programming language design concepts | |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
|
All module information is indicative and subject to change. For further information,students are advised to refer to the University's Marks and Standards and Programme Specific Regulations at: http://www.dcu.ie/registry/examinations/index.shtml |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
Indicative Content and Learning Activities
Execution Environments Complied vs Interpreted Programs, Bindings. Typing and Scope Primitive types, Constructed Types, Static vs Dynamic Types Languages, Type Inference, Algebraic Data Types, Dependent Types, Scope in Blocks, Scope in Namespaces, Static vs. Dynamic Types. Pointers and Memory Management Explicit and Implicit pointers, Memory Management, Garbage Collection. Abstraction Control, Procedural and Data Abstractions, Functions. Parameter Passing Parameter Matching and Parameter Passing Mechanisms. Assertions and Exceptions Pre- and Postconditions, Loop Invariants, Program Correctness. Concurrency Semaphores, Monitors, Message Passing, Threads, Coroutines. Object-Oriented Programming Paradigm Classes, Sub-classes, Inheritance, Multiple Inheritance, Interfaces, Polymorphism (incl. Parametric Polymorphism). Logic Programming Paradigm Search vs. Computation, Unification, The Prolog Database. Functional Programming Paradigm Functions as First-Class values, Closures, Partial Application, Lambda Functions. | |||||||||||||||||||||||||||||||||||||||||||||||||
|
Indicative Reading List Books:
Articles:
| |||||||||||||||||||||||||||||||||||||||||||||||||
|
Other Resources None | |||||||||||||||||||||||||||||||||||||||||||||||||