Algorithmen auf verketteten Listen

• Listen sind rekursiv definierte Datenstruktur

• die meisten Algorithmen lassen sich einfach rekursiv beschreiben

• Algorithmen lassen sich sprachunabhängig spezifizieren

• Spezifikation der Algorithem zB durch Gleichungen

• Beispiel Länge:
  new Li().length() = 0
  new Li(x,xs).length() = 1+xs.length()