J'avais l'habitude d'aimer les titres bizarres quand j'ai débuté en informatique mais je me suis ennuyé par la suite. Certains auteurs parviennent à écrire des titres intelligents, mémorables et pertinents, mais la plupart des tentatives de titres amusants aboutissent à des phrases inutilement longues, peu informatives et compliquées que je trouve difficile de retenir et de regarder.
Il existe des articles tels que La logique temporelle des programmes de Pnueli, datant de 1977, qui sont tout à fait simples, mais dont je me souviens facilement. Je suppose que vous ne vouliez pas dire mémorable en ce sens.
Leslie Lamport a plusieurs articles avec des titres mémorables qui ne me paraissent pas vouloir être drôle. Les titres du genre que vous voulez sont nombreux et je ne pense pas qu'il soit possible d'avoir une liste exhaustive, même des articles que j'ai lus et dont je me souviens, ou même de ceux qui sont considérés comme importants. Néanmoins, permettez-moi de rappeler quelques-uns, en les regroupant le cas échéant.
Les écrits de Leslie Lamport
Lamport décrit l'histoire qui se cache derrière divers papiers ici . Il a beaucoup de titres mémorables, même si tous les titres (ou journaux) n'ont pas été bien reçus.
Le temps, les horloges et la commande d'événements dans un système distribué , Lamport, 1978, est un document classique dans les systèmes distribués. Le titre évoque des images des diagrammes de l'article, qui font penser à des diagrammes de relativité restreinte.
«Parfois» est parfois «pas jamais» , Lamport, 1980. En lisant cela, je travaille immédiatement sur les théorèmes de la logique temporelle auxquels on fait allusion.
Le problème des généraux byzantins , Lamport, Pease, Shostak, 1982
- "EWD 1013" , 1988. Remarquable parce que seul Dijkstra a écrit les EWD.
- Comment distinguer un programme d'une automobile , 1996
- Le Parlement à temps partiel , Lamport, 1998. Mieux connu sous le nom de Paxos. Voir sa page pour l'histoire de cet article et l'algorithme qu'il contient.
Titre du document considéré comme nuisible
(merci à @Bakuriu et @ Kaj_Sotala, dont les commentaires m'ont amené à développer ce point)
Edsger Dijkstra a soumis aux communications de l'ACM une déclaration relative à l' affaire Goto (également EWD 215) et le titre final a été modifié par l'éditeur Niklaus Wirth au titre célèbre mentionné ci-dessous. Ce titre a engendré une série de réponses. De tels titres existaient déjà dans le journalisme, comme indiqué dans cet article du journal linguistique . On peut trouver dès les années 1950 des réponses récursives à "X considéré comme nuisible" avec "" X considéré nuisible ", considéré dès le début des années 1950 ( Journal des langues , A Chrestomathy Roguish ). Dans ce cas précis, nous avons eu ces titres.
- Aller à la déclaration considérée comme nuisible , 1968
Programmation structurée avec go to Statements , Knuth, 1974, qui est un bel article écrit avec sérénité. Il cite la communication personnelle de Dijkstra:
"S'il vous plaît, ne tombez pas dans le piège de croire que je suis terriblement dogmatique à propos de [la déclaration aller à]. J'ai le sentiment inconfortable que d'autres en font une religion, comme si les problèmes conceptuels de la programmation pourraient être résolus par une astuce, par une simple forme de discipline de codage! " - Edsger Dijkstra, 1973
"Lors du congrès de l'IFIP en 1971, j'ai eu le plaisir de rencontrer le Dr Eiichi Goto, du Japon, qui s'est plaint avec enthousiasme qu'il était toujours éliminé." - Knuth
"Goto Considered Harmful" considéré comme nuisible , Rubin, 1987
"" "GOTO considéré comme nocif" considéré comme nuisible "Considéré comme nuisible?" , une collection de réponses de Moore, Musciano, Liebhaber, Lott et Starr publiées en 1987.
Sur une correspondance quelque peu décevante , Dijkstra, 1987, qui se termine par ceci:
Évidemment, mes priorités ne sont pas partagées par tout le monde, car la lettre de Rubin et la plupart des cinq réactions évoquées l'ont été sous la forme de toutes sortes de «fonctionnalités de langage de programmation» qui semblent mieux ignorées qu'exploitées. Toute la correspondance a été réalisée à un niveau qui me rappelait vivement le climat intellectuel d’il ya vingt ans, comme si la stagnation était la principale caractéristique de la profession d’informatique, ce qui était décevant. - Dijkstra, 1987
Depuis, de nombreux titres "X ont été jugés nuisibles" (voir Google Scholar ).
Logique, Langages de Programmation et Sémantique
Ce sont divers articles de logique et de sémantique avec des titres mémorables. Je vais les développer au fur et à mesure que je trouve le temps.
- Les 700 prochains langages de programmation , Landin, 1966
- Scott n'est pas toujours sobre , Johnstone, 1981
- Impartialité, justice et équité: l'éthique de la résiliation simultanée , Lehmann, Pnueli, Stavi, 1981
- Pourquoi les gens pensent que les ordinateurs ne peuvent pas , Minsky, 1990
- Les avantages de la ponctualité relaxante , Alur, Feder, Henzinger, 1991
- Programmation fonctionnelle avec bananes, lentilles, enveloppes et fil barbelé , Meijer, Fokkinga, Paterson, 1991
- Une fois pour toutes , Kupferman et Pnueli, 1995
- Il était une fois un type , Turner, Wadler, Mossin, 1995
- Synthèse avec information incomplète , Kupferman et Vardi, 1997 (notice 'n' manquante)
- Les joies de la bisimulation , Stirling, 1998
- Vérification de modèle symbolique préhistorique à post-moderne , Henzinger, Kupferman, Qadeer, 1998
- Il était une fois un type polymorphe , Wansborough et Peyton Jones, 1999
- Abstraction paresseuse , Henzinger, Jhala, Majumdar, Sutre, 2002
- Esquisses d'un éléphant: Compendium de la théorie des topos, vol. 1 , Johnstone, 2002
- Nettoyage par aspiration des formules CTL , Purandare et Somenzi, 2002
- Tous ensemble , Kupferman et Boker, 2011
- Tout pour le prix du peu , Abdulla, Haziza, Holik, 2013