Course Description - Objectives

The objectives of the course include:

• Becoming familiar with the logic programming, constraint programming (and also functional programming) paradigms, and, specially, their combination.

• Acquiring significant practical experience with multi-paradigm programming environments that support at the same time these three models of programming, as well as including features from imperative- and object-oriented programming.

• Becoming familiar with the techniques used in the context of these paradigms for:

  • Automatic verification and debugging.
  • Automatic exploitation of parallelism and resource control in high-performance computing systems.

It is fundamentally a practical programming course, involving programming exercises with a multiparadigm programming system, but also theoretical foundations will be addressed where relevant.