Section: Lecture | Formal Semantics of Programming Languages (SS 2025)

Calendar

Monday	Tuesday	Wednesday	Thursday	Friday	Saturday	Sunday
					No events, Saturday, 1 March No events, Saturday, 1 March	No events, Sunday, 2 March No events, Sunday, 2 March
No events, Monday, 3 March No events, Monday, 3 March	No events, Tuesday, 4 March No events, Tuesday, 4 March	No events, Wednesday, 5 March No events, Wednesday, 5 March	No events, Thursday, 6 March No events, Thursday, 6 March	No events, Friday, 7 March No events, Friday, 7 March	No events, Saturday, 8 March No events, Saturday, 8 March	No events, Sunday, 9 March No events, Sunday, 9 March
No events, Monday, 10 March No events, Monday, 10 March	No events, Tuesday, 11 March No events, Tuesday, 11 March	No events, Wednesday, 12 March No events, Wednesday, 12 March	No events, Thursday, 13 March No events, Thursday, 13 March	No events, Friday, 14 March No events, Friday, 14 March	No events, Saturday, 15 March No events, Saturday, 15 March	No events, Sunday, 16 March No events, Sunday, 16 March
No events, Monday, 17 March No events, Monday, 17 March	No events, Tuesday, 18 March No events, Tuesday, 18 March	No events, Wednesday, 19 March No events, Wednesday, 19 March	No events, Thursday, 20 March No events, Thursday, 20 March	No events, Friday, 21 March No events, Friday, 21 March	No events, Saturday, 22 March No events, Saturday, 22 March	No events, Sunday, 23 March No events, Sunday, 23 March
No events, Monday, 24 March No events, Monday, 24 March	No events, Tuesday, 25 March No events, Tuesday, 25 March	No events, Wednesday, 26 March No events, Wednesday, 26 March	No events, Thursday, 27 March No events, Thursday, 27 March	No events, Friday, 28 March No events, Friday, 28 March	No events, Saturday, 29 March No events, Saturday, 29 March	No events, Sunday, 30 March No events, Sunday, 30 March
No events, Monday, 31 March No events, Monday, 31 March

Upcoming events

There are no upcoming events

Section outline

The lecture will be based on Chapter 1 "Syntax and Semantics" and Chapter 7 "Programming Languages" of the book "Thinking Programs"; in the course we will walk through most parts of these chapters (the book can be freely downloaded in the JKU campus network).

Exercises and Software

Variously we may also use material from previous instances of this course (not aligned with above chapters):

Denotational Semantics (Part 1)

Denotational Semantics -- A Methodology for Language Development: Chapters 1-5.1

Operational Semantics

Introduction to Operational Semantics (restricted)

IMP: a Simple Imperative Language (restricted)

Big Step Structural Operational Semantics (restricted)

Small Step Structural Operational Semantics (restricted)

Modular Structural Operational Semantics (restricted)

Equivalence to Denotational Semantics (restricted)

Denotational Semantics (Part 2)

Denotational Semantics -- A Methodology for Language Development: Chapters 6 and 5.2--5.4

Languages with Contexts

Denotational Semantics -- A Methodology for Language Development: Chapter 7

Axiomatic Semantics

The Axiomatic Semantics of IMP (restricted)
- Select activity Other Literature
  
  Other Literature Page

March 2025

Section outline