Me gustaban los títulos extravagantes cuando comencé en informática, pero finalmente me aburrí. Algunos autores logran escribir títulos que son inteligentes, memorables y relevantes, pero la mayoría de los intentos de obtener títulos divertidos resultan en frases innecesariamente largas, poco informativas y poco claras que encuentro difíciles de recordar y buscar.
Hay artículos como La Temporal Logic of Programs de Pnueli de 1977, que es absolutamente sencillo pero fácil de recordar. Supongo que no quiso decir memorable en ese sentido.
Leslie Lamport tiene varios documentos con títulos memorables que no me parecen divertidos. Los títulos del tipo que desea son numerosos y no creo que sea factible tener una lista remotamente completa, incluso de documentos que he leído y recordado o incluso de aquellos que se consideran significativos. No obstante, permítanme recordar algunos, agrupándolos cuando sea apropiado.
Los escritos de Leslie Lamport
Lamport describe la historia detrás de varios documentos aquí . Tiene muchos títulos memorables, aunque no todos los títulos (o los documentos) han sido bien recibidos.
Time, Clocks and the Ordering of Events in a Distributed System , Lamport, 1978, un artículo clásico en sistemas distribuidos. El título evoca imágenes de los diagramas en el documento, que recuerdan a los diagramas de relatividad especiales.
'Sometime' es a veces 'Not Never' , Lamport, 1980. Al leer esto, inmediatamente deduzco los teoremas de lógica temporal que se insinúan.
El problema de los generales bizantinos , Lamport, Pease, Shostak, 1982
- "EWD 1013" , 1988. Notable porque solo Dijkstra escribió EWD.
- Cómo distinguir un programa de un automóvil , 1996
- El Parlamento a tiempo parcial , Lamport, 1998. Más conocido como Paxos. Vea su página para la historia de este artículo y el algoritmo que contiene.
Título del artículo considerado perjudicial
(gracias a @Bakuriu y @ Kaj_Sotala, cuyos comentarios me llevaron a ampliar este punto)
Edsger Dijkstra presentó una declaración de A Case Against the Goto (también EWD 215) a las Comunicaciones de la ACM y el editor Niklaus Wirth modificó el título final al famoso título que figura a continuación. Este título generó una serie de respuestas. Dichos títulos ya existían en el periodismo como se señala en este artículo de registro de Language . En particular, las respuestas recursivas a "X considerado dañino" con "X considerado dañino", considerado dañino "se pueden encontrar ya en la década de 1950 ( Language log , A Roguish Chrestomathy ). En este caso específico, obtuvimos estos títulos.
- Ir a la declaración considerada perjudicial , 1968
Programación estructurada con Go to Statements , Knuth, 1974, que es un hermoso artículo escrito con calma. Cita la comunicación personal de Dijkstra:
"Por favor, no caigas en la trampa de creer que soy terriblemente dogmático sobre [la declaración de ir a]. Tengo la incómoda sensación de que otros están haciendo una religión de eso, como si los problemas conceptuales de la programación pudieran resolverse ¡un solo truco, mediante una forma simple de disciplina de codificación! " - Edsger Dijkstra, 1973
"En el Congreso de la IFIP en 1971 tuve el placer de conocer al Dr. Eiichi Goto de Japón, quien se quejó alegremente de que siempre lo eliminaban". - Knuth
"Goto Considerado Dañino" considerado dañino , Rubin, 1987
"" "GOTO Considerado Dañino" Considerado Dañino "Considerado Dañino?" , una colección de respuestas de Moore, Musciano, Liebhaber, Lott y Starr publicadas en 1987.
En una correspondencia algo decepcionante , Dijkstra, 1987, que termina con esto:
Evidentemente, mis prioridades no son compartidas por todos, ya que la carta de Rubin y la mayoría de las cinco reacciones que evocó se llevaron a cabo en términos de todo tipo de "características del lenguaje de programación" que parecen más ignoradas que explotadas. Toda la correspondencia se llevó a cabo a un nivel que me recordó vívidamente el clima intelectual de hace veinte años, como si el estancamiento fuera la característica principal de la profesión informática, y eso fue una decepción. - Dijkstra, 1987
Desde entonces, ha habido numerosos títulos "X considerados perjudiciales" (consulte Google Scholar ).
Lógica, Lenguajes de Programación y Semántica
Estos son varios artículos en lógica y semántica con títulos memorables. Los ampliaré a medida que encuentre tiempo.
- Los siguientes 700 lenguajes de programación , Landin, 1966
- Scott no siempre es sobrio , Johnstone, 1981
- Imparcialidad, justicia y equidad: la ética de la terminación concurrente , Lehmann, Pnueli, Stavi, 1981
- Por qué la gente piensa que las computadoras no pueden , Minsky, 1990
- Los beneficios de la puntualidad relajante , Alur, Feder, Henzinger, 1991
- Programación funcional con plátanos, lentes, sobres y alambre de púas , Meijer, Fokkinga, Paterson, 1991
- De una vez por todas , Kupferman y Pnueli, 1995
- Érase una vez un tipo , Turner, Wadler, Mossin, 1995
- Síntesis con información incompleta , Kupferman y Vardi, 1997 (aviso que falta 'n')
- Las alegrías de la bisimulación , Stirling, 1998
- De la verificación de modelos simbólicos prehistóricos a posmodernos, Henzinger, Kupferman, Qadeer, 1998
- Érase una vez un tipo polimórfico , Wansborough y Peyton Jones, 1999
- Abstracción perezosa , Henzinger, Jhala, Majumdar, Sutre, 2002
- Sketches of an Elephant: A Topos Theory Compendiumm vol. 1 , Johnstone, 2002
- Aspiración CTL Formulas , Purandare y Somenzi, 2002
- Co-Buching Them All , Kupferman y Boker, 2011
- Todo por el precio de unos pocos , Abdulla, Haziza, Holik, 2013