back to search

Semantics

IN2055Elective Modules Informatics8 ECTSEnglishwinter semesterDepartment Computer Science
AI-edited module sheet. Based on the TUMonline module description, edited for readability.Original in TUMonline

What it is about

You learn formal techniques for describing and analyzing the semantics of programming languages. In the end you will be able to understand and apply different semantics styles (operational, denotational, axiomatic) as well as define semantics for language constructs and prove properties such as type safety.

What you will be able to do

  • Understanding the fundamental concepts of programming language semantics
  • In-depth knowledge in at least one semantic technique: operational, denotational, or axiomatic
  • Read semantics and follow their logical consequences
  • Define the semantics of individual language constructs yourself
  • Logically derive properties of programs and semantics (e.g., type safety)
  • Verify tools such as compilers and program analyzers in terms of their semantic correctness

What the module consists of

  • LectureConveying the content and discussion in dialogue with the students
  • ExercisePractice the learning outcomes on concrete problems, individually or in small groups, with tutor support

Teaching method

  • LecturePresentation of the content and development in dialogue with the participants
  • ExercisesPractical application and deepening of the concepts on tasks; possibly computer-assisted programming and proof tasks
  • Tutor-guided small-group workEncourages independent work on examples and joint solution development
No dates in the current semester
There are no course dates for this module this semester, or they haven't been matched yet.

Module ratings

No ratings for this module yet.

Rate this module

Only fill in the categories you can judge – for each one, either stars and text together or nothing at all.

Lecture
Tutorial
Exam

Official page in TUMonline · Details are not binding.