Course development
DD2457 Program Semantics and Analysis 6.0 credits
On this page, you can track the course's development over time. Once the course analysis is published, data for each course offering is displayed, including the number of registered students, course results, and planned improvements for the next session. All course syllabuses and course memos are shown on the page Archive.
The information can help prospective, current, and former students with course selection, or to follow up on their own participation. Teachers, course coordinators, examiners, program directors, and others can use the page as a resource for course development.
2019
semant19 ( Start date 18/03/2019, English )
Changes planned for the next course offering
No information inserted
Coordinator
Dilian GurovExaminers
Dilian GurovStudents
32Course syllabus
Course syllabus DD2457 ( Spring 2019 - Spring 2021 )Course memo
No course memo addedCompulsory within programme
No information insertedCourse analysis
Course analysis DD2457: 8 Sept 2020Changes introduced for this course offering
The main thing that needs to be changed is to align the material on Axiomatic Semantics (aka Hoare logic) to the corresponding material about this in the Formal Methods course. This course should focus on the theoretical aspects, and the relationship between axiomatic semantics to the other semantics.Course data has been registered manually
Examination grade
43.8%*