Klassische Texte der Informatik

Eine ganze Reihe klassischer Texte der Informatik - insbesondere Paper (oder heisst es Papers?) - verspricht Classic Texts In Computer Science». Meine Highlights darunter waeren

• An axiomatic basis for computer programming
  C. A. R. Hoare
  Ja, der Hoare-Kalkül muss einfach da rein.
• Call-by-name, call-by-value, and the lambda calculus
  Gordon Plotkin
• Why Functional Programming Matters
  John Hughes
  Ich weiß es ja schon. :) Alle anderen bekommen hier eine schöne theoretische Grundierung mit einige Beispielen und Konzepten der funktionalen Programmierung.
• Computer Programming as an Art
  Donald E. Knuth
  Donal Knuths Worte zur Verleihung des Turing Awards. Warum hat er seine berühmte Reihe "The Art of Computer Programming" eigentlich so genannt? Hier erklärt er es.
• The next 700 programming languages
  Peter J. Landin
  Wer ISWIM (If you See What I Mean) noch nicht kennt, sollte hier mal einen Blick reinwerfen.

Ebenso interessant anhören tun sich jedoch auch die folgenden Kandidaten, die ich bisher jedoch noch nicht gelesen habe.

• Definitional interpreters for higher-order programming languages
  John C. Reynolds
  Higher Order hört sich doch eigentlich immer gut. Sollte ich vielleicht mal in meine diversen Keyword-Listen aufnehmen.
• An APL Machine 1970
  Philip S. Abrams
  Jaaaa, keiner wil APL, aber alle (oder doch wieder nur ich?) sind doch irgendwie davon fasziniert, Programme mit einem Wust an Sonderzeichen in nur eine Zeile schreiben zu können. Insbesondere ist dies auch die einzige mir bekannte Programmiersprache, für die man eine eigene Tastatur» benötigt.
• No Silver Bullet: Essence and Accidents of Software Engineering
  Frederic P. Brooks, Jr.
• A Mathematical Theory of Communication
  Claude Shannon
• Worse Is Better
  Richard P. Gabriel
• Hints on Programming Language Design
  C.A.R. Hoare
  Hilfestellungen von Hoare nehme ich doch immer gerne an.
• Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I) 1960
  John McCarthy
  Ich wollte eigentlich schon viel mehr von McCarthy gelesen haben.
• FORTH - A Language for Interactive Computing
  Charles H.Moore
• Teach Yourself Programming in Ten Years 2001
  Peter Norvig
  Endlich mal eine realistische zeitliche Abschätzung. Alles, was darunter liegt, kann einfach nur Marketing sein.
• The Definition and Implementation of a Computer Language based on constraints
  Guy Lewis Steele Jr.
  Seitdem Clemens» mich für Constraint Satisfaction Probleme sensibilisiert hat, wird das Thema doch zunehmend spannender.