EN | DE
Theoretische Informatik

Praktische Semantik von Programmiersprache (SoSe 2013)


Dozenten Daniel Gorín und Tadeusz Litak
Termine und Ort Mi, 14:15 – 15:45 und 16:15 – 17:45 (00.152-113)
Umfang 4 SWS – 7,5 ECTS
Zielgruppe WPF INF-BA-V-THI ab 4. Semester
WPF INF-MA ab 1. Semester

Für eine Kursbeschreibung, siehe: Praktische Semantik von Programmiersprachen.

Erste Vorlesung: 17.04., 16:15

Software

  • If Coq is not included in your package manager, download it from here.
  • You will need at least one front-end for Coq: either CoqIde (part of Coq distribution) or Proof General, an Emacs-based front-end.

Software Foundations book

Material to work in class

Exercise sheets

  1. Warm-up. (pdf)
  2. The second sheet (posted Apr 29, deadline May 8, submissions by email to Tadeusz). (coq script)
  3. Third assignment (posted May 10, deadline May 15, submissions by email to Daniel). (coq script)
  4. Fourth assignment (posted May 20, deadline May 24, submissions by email to Tadeusz). Coq version HTML version
  5. Fifth assignment (posted May 27, deadline June 2, submissions by email to Tadeusz). Coq version HTML version
  6. Sixth assignment (posted June 2, deadline June 9, submissions by email to Tadeusz). Coq version HTML version
  7. Seventh assignment (posted June 6, deadline June 15, submissions by email to Daniel). (Coq script)
  8. Eight assignment (posted June 16, deadline June 30, submissions by email to Tadeusz). Coq script HTML file
  9. Ninth assignment (posted June 23, deadline July 3, submissions by email to Daniel). (Coq script)
  10. Tenth assignment (posted July 1, deadline July 11, submissions by email to Daniel). (Coq script)
  11. Eleventh assignment (posted July 8, a hint added July 12, deadline July 18, submissions by email to Tadeusz). Coq script HTML file
  12. Twelfth assignment (posted July 12, deadline July 21, submissions by email to Tadeusz). Coq script HTML file

Course schedule