SchemeTeach: Inhalt Kapitel 3, Abschnitt 8

3.8 Algebraische Spezifikationen

  1. Beherrschung der Komplexität großer Systeme
  2. Beispiel eines Axiomensystems: Peano-Axiome
  3. Implementierung des unendlichen Wertebereichs
  4. Implementierung des unendlichen Wertebereichs (2)
  5. Axiomatische Spezifikation (1)
  6. Axiomatische Spezifikation (2)
  7. Warteschlange
  8. Warteschlangensemantik: LIFO/FIFO
  9. Korrektheitsbeweis (1)
  10. Korrektheitsbeweis (2)
  11. Korrektheitsbeweis (3)
  12. Prioritätengesteuerte Warteschlange
  13. Eine Implementierung der Prioritätenschlange
File ch3_8.html, created by rdpintz@immd8