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» <http://upload.wikimedia.org/wikipedia/en/d/d2/APL_keyboard.gif>`__ 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» <http://claimaster.de/>`__ mich für Constraint Satisfaction Probleme sensibilisiert hat, wird das Thema doch zunehmend spannender.