Title:

Principles of Programming Languages

Code:IPP
Ac.Year:2012/2013
Term:Summer
Study plans:
ProgramBranchYearDuty
IT-BC-3BIT2ndCompulsory
Language:Czech
Private info:http://www.fit.vutbr.cz/study/courses/IPP/private/
Credits:5
Completion:accreditation+exam (written)
Type of
instruction:
Hour/semLecturesSem. ExercisesLab. exercisesComp. exercisesOther
Hours:3900013
 ExaminationTestsExercisesLaboratoriesOther
Points:60200020
Guarantee:Kolář Dušan, doc. Dr. Ing., DIFS
Lecturer:Kolář Dušan, doc. Dr. Ing., DIFS
Křivka Zbyněk, Ing., Ph.D., DIFS
Instructor:Bromová Pavla, Ing., DIFS
Horáček Petr, Ing., DIFS
Křivka Zbyněk, Ing., Ph.D., DIFS
Šebeň Patrik, Ing., DIFS
Faculty:Faculty of Information Technology BUT
Department:Department of Information Systems FIT BUT
Prerequisites: 
Formal Languages and Compilers (IFJ), DIFS
Schedule:
DayLessonWeekRoomStartEndLect.Gr.St.G.EndG.
MonReklamace zkoušky2013-05-20C22813:0014:502BIA
MonReklamace zkoušky2013-05-20C22813:0014:502BIB
Monexam - 2. opravný termín2013-06-03D020614:0016:502BIA
Monexam - 2. opravný termín2013-06-03D020614:0016:502BIB
Monexam - 2. opravný termín2013-06-03D10514:0016:502BIB
Monexam - 2. opravný termín2013-06-03D10514:0016:502BIA
Monexam - 2. opravný termín2013-06-03D10514:0016:503BIT
ThuReklamace půlsemestrálky2013-04-11C22813:0014:502BIB
Thuexam - řádný termín2013-05-09A11214:0016:502BIA
Thuexam - řádný termín2013-05-09A11214:0016:502BIB
Thuexam - řádný termín2013-05-09D020614:0016:502BIB
Thuexam - řádný termín2013-05-09D020614:0016:502BIA
Thuexam - řádný termín2013-05-09D020714:0016:502BIA
Thuexam - řádný termín2013-05-09D020714:0016:502BIB
Thuexam - řádný termín2013-05-09D10514:0016:502BIA
Thuexam - řádný termín2013-05-09D10514:0016:502BIB
Thuexam - řádný termín2013-05-09D10514:0016:503BIT
Thuexam - řádný termín2013-05-09E10414:0016:502BIA
Thuexam - řádný termín2013-05-09E10414:0016:502BIB
Thuexam - řádný termín2013-05-09E10514:0016:502BIB
Thuexam - řádný termín2013-05-09E10514:0016:502BIA
Thuexam - řádný termín2013-05-09E11214:0016:502BIA
Thuexam - řádný termín2013-05-09E11214:0016:502BIB
Thuexam - řádný termín2013-05-09G20214:0016:502BIB
Thuexam - řádný termín2013-05-09G20214:0016:502BIA
Friexam - 1. opravný termín2013-05-24D020615:0017:502BIA
Friexam - 1. opravný termín2013-05-24D020615:0017:502BIB
Friexam - 1. opravný termín2013-05-24D020715:0017:502BIB
Friexam - 1. opravný termín2013-05-24D020715:0017:502BIA
Friexam - 1. opravný termín2013-05-24D10515:0017:502BIA
Friexam - 1. opravný termín2013-05-24D10515:0017:502BIB
Friexam - 1. opravný termín2013-05-24D10515:0017:503BIT
Friexam - 1. opravný termín2013-05-24E10415:0017:502BIA
Friexam - 1. opravný termín2013-05-24E10415:0017:502BIB
Friexam - půlsemestrální2013-03-22D020716:0017:502BIA
Friexam - půlsemestrální2013-03-22D020716:0017:502BIB
Friexam - půlsemestrální2013-03-22E10416:0017:502BIA
Friexam - půlsemestrální2013-03-22E10416:0017:502BIB
Friexam - půlsemestrální2013-03-22E10516:0017:502BIA
Friexam - půlsemestrální2013-03-22E10516:0017:502BIB
Friexam - půlsemestrální2013-03-22D10516:0017:502BIA
Friexam - půlsemestrální2013-03-22D10516:0017:502BIB
Friexam - půlsemestrální2013-03-22D020616:0017:502BIA
Friexam - půlsemestrální2013-03-22D020616:0017:502BIB
Friexam - půlsemestrální2013-03-22E11216:0017:502BIA
Friexam - půlsemestrální2013-03-22E11216:0017:502BIB
Friexam - půlsemestrální2013-03-22A11216:0017:502BIB
Friexam - půlsemestrální2013-03-22A11316:0017:502BIA
Friexam - půlsemestrální2013-03-22A11316:0017:502BIB
Friexam - půlsemestrální2013-03-22A11216:0017:502BIA
Friexam - půlsemestrální2013-03-22G20216:0017:502BIA
Friexam - půlsemestrální2013-03-22G20216:0017:502BIB
 
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.
Description:
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 prgoramming 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, grammars, automata; translation/analysis of formal languages. Focus on regular and context-free languages and their models, grammars, automata and processing.
Learning outcomes and competences:
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:
  1. Introduction, definition of used terms
  2. Imperative languages, non-structured programming languages
  3. Block-structured programming languages
  4. Modular languages
  5. Object-oriented languages
  6. Some specialities of object-oriented programming languages
  7. Comparison of various kinds of imperative programming languages
  8. Declarative languages, lambda calculus
  9. Functional programming languages
  10. Logical programming languages
  11. Another declarative programming languages, their comparison
  12. Main differences in usage and implementation of declarative and imperative programming languages
  13. Conclussion, discussion of the follow-up courses
Syllabus - others, projects and individual work of students:
A simple program or programs/scripts implemented in the given programming language together with relevant documentation.
Fundamental literature:
  1. Sebesta R.W.: Concepts of Programming Languages, 4th edition, ADDISON-WESLEY, 1999, ISBN 0-201-38596-1
  2. MacLennan, B.J.: Principles of Programming Languages: Design, Evaluation, and Implementation (3rd Edition). Oxford University Press, 1999.
Study literature:
  1. Lecture notes in PDF file
  2. Kolář, D.: Principy programovacích jazyků a objektově orientovaného programování - I, studijní opora pro kombinované studium, modul IPP I, VUT FIT, 2006
  3. Křivka, Z., Kolář, D.: Principy programovacích jazyků a objektově orientovaného programování - II, studijní opora pro kombinované studium, modul IPP II, VUT FIT, 2008
  4. Kolář, D.: Principy programovacích jazyků a objektově orientovaného programování - III, studijní opora pro kombinované studium, modul IPP III, VUT FIT, 2006
Controlled instruction:
  • Mid-term 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, no possibility to have a second/alternative trial. (20 points)
  • Projects realization - 1 project (program(s) 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 - the minimal number of points which can be obtained from the final exam is 25, otherwise, no points will be assigned to a student.)
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 given deadlines during a term - 20 points.
Exam prerequisites:
At the end of a term, a student should have at least 50% of points that he or she could obtain during the term; that means at least 20 points out of 40.
Plagiarism and not allowed cooperation will cause that involved students are not classified and disciplinary action can be initiated.