en | de

Term Rewriting

bachelor program

VO2 + PS1  SS 2018  703125 + 703126

Content

The course provides an introduction to term rewriting. Term rewriting is a general model of computation which has been successfully applied in many areas of computer science. Here one can think of the analysis and implementation of algebraic specifications of abstract data types, the foundations of functional (logic) programming, automated theorem proving, and code optimization in compilers, to name just a few. The following topics are discussed: abstract rewriting, equational reasoning, term rewrite systems, termination, confluence, completion, strategies.

Schedule

week date slides exercises solutions material
1 05.03 & 09.03 pdf (1x1, 4x1) pdf pdf
2 12.03 & 16.03 pdf (1x1, 4x1) pdf pdf link
3 19.03 & 23.03 pdf (1x1, 4x1) pdf pdf
4 09.04 & 13.04 pdf (1x1, 4x1) pdf pdf
5 16.04 & 20.04 pdf (1x1, 4x1) pdf pdf
6 23.04 & 27.04 pdf (1x1, 4x1) pdf pdf
7 30.04 & 04.05 pdf (1x1, 4x1) pdf pdf link
8 07.05 & 11.05 pdf (1x1, 4x1) pdf pdf
9 14.05 & 18.05 pdf (1x1, 4x1) pdf pdf
10 14.05 & 25.05 test
11 28.05 & 01.06 pdf (1x1, 4x1) pdf pdf
12 04.06 & 08.06 pdf (1x1, 4x1) pdf pdf
13 11.06 & 15.06 pdf (1x1, 4x1) pdf pdf
14 18.06 & 22.06 pdf (1x1, 4x1) pdf pdf
15 25.06 & 29.06 pdf pdf exam

Literature

The course material and slides will be made available online. The same holds for solutions to selected exercises.