Principles of Programming Languages (in English)

Language of Instruction:English
* This course is prepared for incoming Erasmus+ students only, and it is instructed in English.
* This course will be open if a certain/sure minimum of enrolled students is at least five students.

Private info:http://www.fit.vutbr.cz/study/courses/IPPe/private/
Completion:credit+exam (written)
Type of
Guarantor:Kolář Dušan, doc. Dr. Ing. (DIFS)
Lecturer:Kolář Dušan, doc. Dr. Ing. (DIFS)
Křivka Zbyněk, Ing., Ph.D. (DIFS)
Faculty:Faculty of Information Technology BUT
Department:Department of Information Systems FIT BUT
Formal Languages and Compilers (IFJe), DIFS
WedlecturelecturesC228 13:0015:50INTE
Learning objectives:
  To give an overview: of existing programming paradigms, of range of existing programming languages and their classification, and of requirements on programming language analysis and translation.
  The course offers basic classification of programming languages with more detailed explanation of imperative and declarative languages. Explaining imperative paradigm, it will be presented non-structured, structured (both block and modular), and object-oriented programming languages. A brief introduction into functional and logic programming will be studied during explanation of declarative paradigm. The underlying theories are discussed too. Students will be also given an introduction to processing (translation) of presented programming paradigms/languages.
Knowledge and skills required for the course:
  Formal languages and their models (regular and context-free grammars, finite and pushdown automata); processing of formal languages such as analysis (parsers) and translation (compilers).
Learning outcomes and competencies:
  Students will be able to classify programming languages. They will be able to use a given programming paradigm on a certain level too. Moreover, basic analysis and compilation issues will be clarified as well.
Syllabus of lectures:
  • Introduction, definition of used terms
  • Imperative languages, non-structured programming languages
  • Block-structured programming languages
  • Modular languages
  • Object-oriented languages
  • Some specialties of object-oriented programming languages
  • Comparison of various kinds of imperative programming languages
  • Declarative languages, lambda calculus
  • Functional programming languages
  • Logical programming languages
  • Other declarative programming languages, their comparison
  • Main differences in usage and implementation of declarative and imperative programming languages
  • Conclusion, discussion of the follow-up courses
Syllabus - others, projects and individual work of students:
 To implement a program for a given simple task in a scripting programming language.
Fundamental literature:
  • Sebesta R.W.: Concepts of Programming Languages, 4th edition, ADDISON-WESLEY, 1999, ISBN 0-201-38596-1
Study literature:
  • Lecture notes in PDF file
Controlled instruction:
  • Mid-term exam - written form, a test, where answers are given in sentences (open questions), by selection of appropriate answer from offered ones, and by combination of both of these possibilities, no possibility to have a second/alternative trial. (20 points)
  • Projects realization - 1 project (program development according to a given specification) with appropriate documentation. (20 points)
  • Final exam - written form, a test, where answers are given in sentences, by selection of appropriate answer from offered ones, and by combination of both of these possibilities, 2 another corrections trials possible. (60 points)
Progress assessment:
  • Mid-term exam, for which there is only one schedule and, thus, there is no possibility to have another trial - 20 points.
  • One project should be solved and delivered in a given date during a term - 20 points.
Exam prerequisites:
  At the end of a semester, a student should have at least 50% of points that he or she could obtain during the semester; that means at least 20 points out of 40.

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]