Früher mochte ich skurrile Titel, als ich in der Informatik anfing, aber irgendwann langweilte ich mich. Einige Autoren schaffen es, Titel zu schreiben, die clever, einprägsam und relevant sind, aber die meisten Versuche, lustige Titel zu schreiben, führen zu unnötig langen, uninformativen und klobigen Phrasen, an die ich mich nur schwer erinnern und nachschlagen kann.
Es gibt Artikel wie Pnuelis The Temporal Logic of Programs aus dem Jahr 1977, die absolut unkompliziert sind, an die ich mich aber leicht erinnern kann. Ich nehme an, Sie meinten nicht, in diesem Sinne denkwürdig zu sein.
Leslie Lamport hat mehrere Artikel mit denkwürdigen Titeln, die mir nicht so komisch vorkommen. Es gibt zahlreiche Titel der von Ihnen gewünschten Art, und ich halte es nicht für möglich, eine aus der Ferne umfassende Liste zu haben, auch nicht von Artikeln, die ich gelesen und in Erinnerung behalten habe, oder von Artikeln, die als bedeutend eingestuft werden. Lassen Sie mich dennoch ein paar davon in Gruppen zusammenfassen.
Die Schriften von Leslie Lamport
Lamport beschreibt die Geschichte hinter verschiedenen Papieren hier . Er hat viele denkwürdige Titel, obwohl nicht alle Titel (oder die Zeitungen) gut aufgenommen wurden.
Zeit, Uhren und die Reihenfolge von Ereignissen in einem verteilten System , Lamport, 1978, ein klassischer Artikel in verteilten Systemen. Der Titel ruft Bilder der Diagramme in der Arbeit hervor, die an spezielle Relativitätsdiagramme erinnern.
"Irgendwann" ist manchmal "nicht nie" , Lamport, 1980. Wenn ich das lese, arbeite ich sofort die zeitlichen Logiksätze aus, auf die hingewiesen wird.
Das byzantinische Generalproblem , Lamport, Pease, Shostak, 1982
- "EWD 1013" , 1988. Bemerkenswert, weil nur Dijkstra EWDs geschrieben hat.
- Wie man ein Programm von einem Automobil erzählt , 1996
- The Part-Time Parliament , Lamport, 1998. Besser bekannt als Paxos. Auf seiner Seite finden Sie die Geschichte dieses Papiers und den darin enthaltenen Algorithmus.
Papiertitel als schädlich eingestuft (danke an @Bakuriu und @ Kaj_Sotala, deren Kommentare mich dazu gebracht haben, diesen Punkt zu erweitern)
Edsger Dijkstra reichte einen Fall gegen die Goto-Erklärung (auch EWD 215) bei der ACM ein, und der endgültige Titel wurde vom Herausgeber Niklaus Wirth in den unten angegebenen Titel geändert. Dieser Titel brachte eine Reihe von Antworten hervor. Derartige Titel gab es bereits im Journalismus, wie in diesem Artikel zum Sprachenprotokoll ausgeführt . Insbesondere können rekursive Antworten auf "X als schädlich" mit "X als schädlich" als schädlich "bereits in den 1950er Jahren gefunden werden ( Sprachprotokoll , A Roguish Chrestomathy ). In diesem speziellen Fall haben wir diese Titel erhalten.
- Gehen Sie zu Aussage als schädlich , 1968
Strukturierte Programmierung mit go to Statements , Knuth, 1974, ein ruhig geschriebener, schöner Artikel. Er zitiert Dijkstras persönliche Mitteilung:
"Fallen Sie bitte nicht in die Falle, zu glauben, dass ich in Bezug auf [die Go-to-Aussage] furchtbar dogmatisch bin. Ich habe das unangenehme Gefühl, dass andere eine Religion daraus machen, als könnten die konzeptuellen Probleme der Programmierung durch gelöst werden ein einziger Trick, durch eine einfache Form der Kodierungsdisziplin! " - Edsger Dijkstra, 1973
"Auf dem IFIP-Kongress 1971 hatte ich das Vergnügen, Dr. Eiichi Goto aus Japan zu treffen, der sich freudig darüber beklagte, dass er immer beseitigt werde." - Knuth
"Goto als schädlich eingestuft" als schädlich eingestuft , Rubin, 1987
"" GOTO als schädlich eingestuft "als schädlich eingestuft" als schädlich eingestuft? " , eine Sammlung von Antworten von Moore, Musciano, Liebhaber, Lott und Starr, veröffentlicht 1987.
In einer etwas enttäuschenden Korrespondenz , Dijkstra, 1987, die damit endet:
Offensichtlich werden meine Prioritäten nicht von allen geteilt, denn Rubins Brief und die meisten der fünf Reaktionen, die er hervorrief, wurden stattdessen in Bezug auf alle Arten von „Programmiersprachenfunktionen“ ausgeführt, die eher ignoriert als ausgenutzt zu werden scheinen. Die gesamte Korrespondenz wurde auf einer Ebene durchgeführt, die mich lebhaft an das intellektuelle Klima von vor zwanzig Jahren erinnerte, als ob Stagnation das Hauptmerkmal des Computerberufs wäre, und das war eine Enttäuschung. - Dijkstra, 1987
Seitdem wurden zahlreiche "X als schädlich eingestufte" Titel veröffentlicht (siehe Google Scholar ).
Logik, Programmiersprachen und Semantik
Dies sind verschiedene Artikel in Logik und Semantik mit einprägsamen Titeln. Ich werde auf sie eingehen, sobald ich Zeit finde.
- Die nächsten 700 Programmiersprachen , Landin, 1966
- Scott ist nicht immer nüchtern , Johnstone, 1981
- Unparteilichkeit, Gerechtigkeit und Fairness: Die Ethik der gleichzeitigen Kündigung , Lehmann, Pnueli, Stavi, 1981
- Warum Leute denken, dass Computer nicht können , Minsky, 1990
- Die Vorteile einer entspannten Pünktlichkeit , Alur, Feder, Henzinger, 1991
- Funktionale Programmierung mit Bananen, Linsen, Umschlägen und Stacheldraht , Meijer, Fokkinga, Paterson, 1991
- Ein für alle Mal , Kupferman und Pnueli, 1995
- Es war einmal ein Typ , Turner, Wadler, Mossin, 1995
- Synthese mit Incomplete Informatio , Kupferman und Vardi, 1997 (fehlende Notiz 'n')
- Die Freuden der Bisimulation , Stirling, 1998
- Von der prähistorischen bis zur postmodernen symbolischen Modellprüfung , Henzinger, Kupferman, Qadeer, 1998
- Es war einmal ein polymorpher Typ , Wansborough und Peyton Jones, 1999
- Faule Abstraktion , Henzinger, Jhala, Majumdar, Sutre, 2002
- Skizzen eines Elefanten: A Topos Theory Compendiumm vol. 1 , Johnstone, 2002
- Staubsaugen CTL Formulas , Purandare und Somenzi, 2002
- Co-Buching sie alle , Kupferman und Böker, 2011
- Alles zum Preis von wenigen , Abdulla, Haziza, Holik, 2013