SubjectsSubjects(version: 845)
Course, academic year 2018/2019
   Login via CAS
Program semantics - NSWI162
Title in English: Sémantika programů
Guaranteed by: Department of Distributed and Dependable Systems (32-KDSS)
Faculty: Faculty of Mathematics and Physics
Actual: from 2017
Semester: winter
E-Credits: 1
Hours per week, examination: winter s.:0/1 C [hours/week]
Capacity: unlimited
Min. number of students: unlimited
State of the course: taught
Language: Czech
Teaching methods: full-time
Additional information: http://d3s.mff.cuni.cz/teaching/program_semantics/
Guarantor: RNDr. Jan Kofroň, Ph.D.
Class: Informatika Bc.
Classification: Informatics > Software Engineering
Incompatibility : NSWE002
Interchangeability : NSWE002
Annotation -
Last update: Tajemník Katedry (03.05.2017)
The goal of the course is to introduce the foundation of program semantics, especially those of imperative programmning languages. A tool for verification of program properties will be introduced. The credits will be given for making two small homeworks.
Course completion requirements - Czech
Last update: RNDr. Jan Kofroň, Ph.D. (06.10.2017)

Pro získání zápočtu je nutné vypracovat zadané domácí úlohy v termínu. Z povahy věci tedy není možné zápočet opakovat.

Literature -
Last update: Tajemník Katedry (03.05.2017)

A. R. Bradley, Z. Manna: The Calculus of Computation, Springer-Verlag, 2007

E. M. Clarke, O. Grumberg, D. A. Peled: Model Checking, MIT Press, 1999

Requirements to the exam - Czech
Last update: RNDr. Jan Kofroň, Ph.D. (03.10.2017)

Pro získání zápočtu je nutné vypracovat zadané domácí úlohy v termínu.

Syllabus -
Last update: Tajemník Katedry (03.05.2017)

1) Introduction to program semantics

2) Methods for property specification

3) Mathematical means for specification

4) Proving of program properties

 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html