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 |
|
|
|
|
| 2 |
12.03 & 16.03 |
|
|
|
|
| 3 |
19.03 & 23.03 |
|
|
|
|
| 4 |
09.04 & 13.04 |
|
|
|
|
| 5 |
16.04 & 20.04 |
|
|
|
|
| 6 |
23.04 & 27.04 |
|
|
|
|
| 7 |
30.04 & 04.05 |
|
|
|
|
| 8 |
07.05 & 11.05 |
|
|
|
|
| 9 |
14.05 & 18.05 |
|
|
|
|
| 10 |
14.05 & 25.05 |
|
|
|
test |
| 11 |
28.05 & 01.06 |
|
|
|
|
| 12 |
04.06 & 08.06 |
|
|
|
|
| 13 |
11.06 & 15.06 |
|
|
|
|
| 14 |
18.06 & 22.06 |
|
|
|
|
| 15 |
25.06 & 29.06 |
|
|
|
exam |
Literature
The course material and slides will be made available online. The same
holds for solutions to selected exercises.