Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2019/2020

Syntax and semantics of a formal language

The course is not on the list Without time-table
Code Completion Credits Range Language
XP01SPJ ZK 4 2+1 Czech
Lecturer:
Tutor:
Supervisor:
Department of Mathematics
Synopsis:

Syntax and semantics of a formal language.A simple imperative

language, assignment command. Denotational and operational semantics,

coherence theorem. Mathematical domain theory. Fixed points of

functionals, recursive definitions. Lambda - notation. A simple

functionl language, denotational semantics. New functions definitions,

recursive constructions. Operational semantics. Other approaches to

semantics, continuation semantics. Axiomatic (Hoare's) semantics.

Expressive power of a programming language.

Requirements:
Syllabus of lectures:
Syllabus of tutorials:
Study Objective:
Study materials:

1. Gunter C.A.: Semantics of Programming Languages - Structures and Techniques, MIT Press, Cambridge, Massachusetts, 1992.

2. Tennent R. D.: Semantics of Programming Languages, Prentice Hall, London 1991.

Note:
Further information:
No time-table has been prepared for this course
The course is a part of the following study plans:
Data valid to 2020-01-20
For updated information see http://bilakniha.cvut.cz/en/predmet11506704.html