Course detail

Programming Language Theory

FIT-TJDAcad. year: 2023/2024

Types of programming languages: procedural and declarative, diferencies from the semantic point of view. The problem of the programming languages semantic formal definition. Various ways of the programming languages semantic formal definition. The axiomatic definition of the formal semantic: Floyd-Hoare logic. The denotation definition of the formal sematic: lambda calculus. The technology of the programming languages translation after a parsing. The solution of the context features of programming languages in the syntax-directed context-free compiler. Type systems. Target code generation. Methods of registes assignment. The target code generation for pipeline processors.

Doctoral state exam - topics:

  1. Types of programming languages: procedural and declarative, diferencies from the semantic point of view.
  2. The problem of the programming languages semantic formal definition. Various ways of the programming languages semantic formal definition.
  3. The axiomatic definition of the formal semantic: Floyd-Hoare logic.
  4. The denotation definition of the formal sematic: lambda calculus.
  5. The technology of the programming languages translation after a parsing.
  6. The solution of the context features of programming languages in the syntax-directed context-free compiler.
  7. Internal languages between front and backend of the compiler
  8. Type systems
  9. Target code generation. Methods of registes assignment.
  10. The target code generation for pipeline processors.

Language of instruction

Czech

Number of ECTS credits

0

Mode of study

Not applicable.

Guarantor

prof. Ing. Tomáš Hruška, CSc.

Department

Department of Information Systems (UIFS)

Entry knowledge

Not applicable.

Rules for evaluation and completion of the course

discussion on the doctoral lectures, To write an essay of some relevant topic.
Lectures only. In the case whn the course is opened as the consulted study discussions with the given literature.

Aims

To obtain wide knowledge especially of the semantic and translation of programming language.  To focus to possibility of a formal definition of the syntax and semantic of programming languages.
The ability to define formally and th use the definition of the programming language semantic. To have an overview over the code generation for modern processors.

Study aids

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

Not applicable.

Recommended reading

Sethi R.: Programming Languages Concepts, Addison Wesley 1989
Aho, V. A. - Sethi, R. - Ullmann, J. D. : Compilers - Principles, Techniques, and Tools, Addison - Wesley Publishing Company 1987
Gordon, J., C.: Programming language Theory and its Implementation, Prentice Hall 1988
Reynolds, J.: Theories of Programming Languages, Cambridge University Press, 2009

Classification of course in study plans

  • Programme VTI-DR-4 Doctoral

    branch DVI4 , any year of study, winter semester, elective

  • Programme VTI-DR-4 Doctoral

    branch DVI4 , any year of study, winter semester, elective

  • Programme VTI-DR-4 Doctoral

    branch DVI4 , any year of study, winter semester, elective

  • Programme VTI-DR-4 Doctoral

    branch DVI4 , any year of study, winter semester, elective

  • Programme DIT-EN Doctoral, any year of study, winter semester, compulsory-optional
  • Programme DIT Doctoral, any year of study, winter semester, compulsory-optional
  • Programme DIT Doctoral, any year of study, winter semester, compulsory-optional
  • Programme DIT-EN Doctoral, any year of study, winter semester, compulsory-optional

Type of course unit

 

Lecture

39 hours, optionally

Teacher / Lecturer

prof. Ing. Tomáš Hruška, CSc.

Syllabus

  1. Types of programming languages: procedural and declarative, diferencies from the semantic point of view.
  2. The problem of the programming languages semantic formal definition. Various ways of the programming languages semantic formal definition.
  3. The axiomatic definition of the formal semantic: Floyd-Hoare logic.
  4. The denotation definition of the formal sematic: lambda calculus.
  5. The technology of the programming languages translation after a parsing.
  6. The solution of the context features of programming languages in the syntax-directed context-free compiler.
  7. Type systems
  8. Target code generation. Methods of registes assignment.
  9. The target code generation for pipeline processors. 

Guided consultation in combined form of studies

26 hours, optionally

Teacher / Lecturer

prof. Ing. Tomáš Hruška, CSc.