Course detail

Programming Language Theory

FIT-TJDAcad. year: 2010/2011

Not applicable.

Language of instruction

Czech

Mode of study

Not applicable.

Guarantor

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

Department

Department of Information Systems (UIFS)

Learning outcomes of the course unit

Not applicable.

Prerequisites

Not applicable.

Co-requisites

Not applicable.

Planned learning activities and teaching methods

Not applicable.

Assesment methods and criteria linked to learning outcomes

Not applicable.

Course curriculum

Not applicable.

Work placements

Not applicable.

Aims

Not applicable.

Specification of controlled education, way of implementation and compensation for absences

Not applicable.

Recommended optional programme components

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

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 Bird, R. - Walder, P.: Introduction to Functional Programming, Prentice Hall 1988 Tennent, R., D.: Principles of programming languages, Prentice Hall 1981

Recommended reading

Peyton Jones S., L.: The Implementation of functional programming languages, Prentice Hall 1986 Sethi R.: Programming Languages Concepts, Addison Wesley 1989 Nilson U. - Matuszynski J.: Logic, Programming and Prolog, John Wiley 1990 Nielson R.,H. - Nielson F.: Semantics with Applications - A Formal Introduction, John Wiley 1992

Classification of course in study plans

  • Programme CSE-PHD-4 Doctoral

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

  • Programme CSE-PHD-4 Doctoral

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

Type of course unit

 

Lecture

39 hod., optionally

Teacher / Lecturer

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

Syllabus

  • 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.