Registry
Module Specifications
Archived Version 2023 - 2024
| |||||||||||||||||||||||||||||||||||||
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 6. Evaluate one programming language in detail within the programming language design and implementation (i.e. Typing and Scope, Pointers and Memory Management, Abstraction) | |||||||||||||||||||||||||||||||||||||
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 EnvironmentsComplied vs Interpreted Programs, Bindings.Typing and ScopePrimitive 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 ManagementExplicit and Implicit pointers, Memory Management, Garbage Collection.AbstractionControl, Procedural and Data Abstractions, Functions.Parameter PassingParameter Matching and Parameter Passing Mechanisms.Assertions and ExceptionsPre- and Postconditions, Loop Invariants, Program Correctness.Object-Oriented Programming ParadigmClasses, Sub-classes, Inheritance, Multiple Inheritance, Interfaces, Polymorphism (incl. Parametric Polymorphism).Memory ModelsShared, Distributed and Associative Memory.Logic Programming ParadigmSearch vs. Computation, Unification, The Prolog Database.Functional Programming ParadigmFunctions as First-Class values, Closures, Partial Application, Lambda Functions. | |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
Indicative Reading List
| |||||||||||||||||||||||||||||||||||||
Other Resources None | |||||||||||||||||||||||||||||||||||||
Programme or List of Programmes | |||||||||||||||||||||||||||||||||||||
Archives: |
|