Programming Languages II - Videocourse

Welcome to the Programming Languages II, Videocourse. The course's framework includes programming languages theory and implementation. Theory. The course examines the theoretical foundations of the main programming language paradigms: imperative, functional, logic, object-oriented and concurrent programming. Domain theory and lambda calculus. Types and type systems. Programming language semantics; operational, denotational and axiomatic. Implementation. The course examines issues related to the efficient implementation of functional (ML and Haskell), logic (Prolog) and object-oriented (e.g. C++, Java and C#) programming languages. Virtual machines. Algorithms for automatic memory management. Implementation of concurrency and exceptions. Scripting languages (e.g. Perl, Python, Ruby, etc.).

Objectives

Student familiarization with the general principles of the course.

Prerequisites

The course is aimed at students who have passed the course of Programming Languages and I have experience in computer programming. These are above- paitoumena. Useful also have basic knowledge of mathematical logic, algorithms and structure of a compiler (compiler).

Syllabus

Theory. The course examines the theoretical foundations of the main programming language paradigms: imperative, functional, logic, object-oriented and concurrent programming. Domain theory and lambda calculus. Types and type systems. Programming language semantics; operational, denotational and axiomatic. Implementation. The course examines issues related to the efficient implementation of functional (ML and Haskell), logic (Prolog) and object-oriented (e.g. C++, Java and C#) programming languages. Virtual machines. Algorithms for automatic memory management. Implementation of concurrency and exceptions. Scripting languages (e.g. Perl, Python, Ruby, etc.).