Walther Neuper <neuper@ist.tugraz.at> [Mon, 19 May 2014 14:44:45 +0200] rev 19
PDF cannot simply be downloaded from this url
Walther Neuper <neuper@ist.tugraz.at> [Mon, 19 May 2014 14:42:14 +0200] rev 18
made PDF available for download
Walther Neuper <neuper@ist.tugraz.at> [Fri, 16 May 2014 12:20:45 +0200] rev 17
tuned
Walther Neuper <neuper@ist.tugraz.at> [Fri, 16 May 2014 12:20:02 +0200] rev 16
added 3.2 Automated generation of verified and efficient code + 3.3
Walther Neuper <neuper@ist.tugraz.at> [Tue, 13 May 2014 18:10:18 +0200] rev 15
added 3 and 3.1 Distributive and recursive representation
Walther Neuper <neuper@ist.tugraz.at> [Tue, 13 May 2014 15:24:27 +0200] rev 14
added 2.3 Proofs about abstract algorithms
Walther Neuper <neuper@ist.tugraz.at> [Tue, 13 May 2014 14:37:24 +0200] rev 13
further rearrangements
Walther Neuper <neuper@ist.tugraz.at> [Mon, 12 May 2014 14:43:19 +0200] rev 12
rearrangements and tuning
Walther Neuper <neuper@ist.tugraz.at> [Mon, 12 May 2014 13:40:45 +0200] rev 11
new section structure after polypaper 29bb24b12e34
Walther Neuper <neuper@ist.tugraz.at> [Sat, 10 May 2014 10:04:19 +0200] rev 10
copied figure (and some other LaTeX stuff)
CAUTION: (c) from Andreas Lochbihler is still missing