Course details

Programming Language Theory

TJD Acad. year 2024/2025 Winter semester

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.

Guarantor

Course coordinator

Language of instruction

Czech, English

Completion

Examination (written+oral)

Time span

  • 39 hrs lectures

Assessment points

  • 100 pts final exam

Department

Learning objectives

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 literature

  • 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

Syllabus of lectures

  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. 

Progress assessment

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.

Course inclusion in study plans

  • Programme DIT, any year of study, Compulsory-Elective group O
  • Programme DIT, any year of study, Compulsory-Elective group O
  • Programme DIT-EN (in English), any year of study, Compulsory-Elective group O
  • Programme DIT-EN (in English), any year of study, Compulsory-Elective group O
  • Programme VTI-DR-4, field DVI4, any year of study, Elective
  • Programme VTI-DR-4, field DVI4, any year of study, Elective
  • Programme VTI-DR-4 (in English), field DVI4, any year of study, Elective
Back to top