Mi piacevano i titoli bizzarri quando ho iniziato a studiare informatica ma alla fine mi sono annoiato. Alcuni autori riescono a scrivere titoli intelligenti, memorabili e pertinenti, ma la maggior parte dei tentativi di titoli divertenti porta a frasi inutilmente lunghe, non informative e kludgy che trovo difficili da ricordare e da cercare.
Ci sono articoli come The Temporal Logic of Programs di Pnueli del 1977, che è assolutamente semplice ma facile da ricordare per me. Immagino che non volessi dire memorabile in questo senso.
Leslie Lamport ha diversi articoli con titoli memorabili che non mi sembrano cercare di essere divertente. I titoli del tipo che desideri sono numerosi e non credo sia fattibile avere un elenco remoto completo, anche di documenti che ho letto e ricordato o addirittura di quelli considerati significativi. Tuttavia, vorrei ricordare alcuni, raggruppandoli dove appropriato.
Gli scritti di Leslie Lamport
Lamport descrive la storia dietro vari documenti qui . Ha molti titoli memorabili, sebbene non tutti i titoli (o gli articoli) siano stati ben accolti.
Time, Clocks and the Ordering of Events in a Distributed System , Lamport, 1978, una carta classica in sistemi distribuiti. Il titolo evoca immagini dei diagrammi nel documento, che a loro volta ricordano speciali diagrammi di relatività.
'Sometime' a volte 'Not Never' , Lamport, 1980. Leggendo questo lavoro immediatamente capisco i teoremi della logica temporale accennati.
Il problema dei generali bizantini , Lamport, Pease, Shostak, 1982
- "EWD 1013" , 1988. Notevole perché solo Dijkstra ha scritto EWD.
- Come raccontare un programma da un'automobile , 1996
- The Part-Time Parliament , Lamport, 1998. Meglio conosciuto come Paxos. Vedi la sua pagina per la storia di questo documento e l'algoritmo che contiene.
Titolo del documento considerato
dannoso (grazie a @Bakuriu e @ Kaj_Sotala, i cui commenti mi hanno portato ad espandere questo punto)
Edsger Dijkstra ha presentato una dichiarazione A Case Against the Goto (anche EWD 215) alle comunicazioni dell'ACM e il titolo finale è stato modificato dall'editore Niklaus Wirth al famoso titolo riportato di seguito. Questo titolo ha generato una serie di risposte. Tali titoli esistevano già nel giornalismo, come sottolineato in questo articolo sul registro delle lingue . In particolare, le risposte ricorsive a "X considerato dannoso" con "X considerato dannoso", considerato dannoso "si possono trovare già negli anni '50 ( Log linguistico , Una crestomatia di Rogue ). In questo caso specifico, abbiamo ottenuto questi titoli.
- Vai alla dichiarazione considerata dannosa , 1968
Programmazione strutturata con andare a Dichiarazioni , Knuth, 1974, che è un bellissimo articolo scritto con calma. Cita la comunicazione personale di Dijkstra:
"Per favore, non cadere nella trappola di credere che io sia terribilmente dogmatico riguardo a [la dichiarazione del go]. Ho la spiacevole sensazione che altri ne stiano facendo una religione, come se i problemi concettuali della programmazione potessero essere risolti da un solo trucco, con una semplice forma di disciplina del codice! " - Edsger Dijkstra, 1973
"Al congresso IFIP del 1971 ho avuto il piacere di incontrare il dottor Eiichi Goto del Giappone, che si è lamentato allegramente di essere sempre eliminato". - Knuth
"Goto Considered Harmful" considerato dannoso , Rubin, 1987
"" "GOTO considerato dannoso" considerato dannoso "considerato dannoso?" , una raccolta di risposte di Moore, Musciano, Liebhaber, Lott e Starr pubblicata nel 1987.
Su una corrispondenza alquanto deludente , Dijkstra, 1987, che termina con questo:
Evidentemente, le mie priorità non sono condivise da tutti, poiché la lettera di Rubin e la maggior parte delle cinque reazioni che ha evocato sono state condotte invece in termini di tutti i tipi di "caratteristiche del linguaggio di programmazione" che sembrano meglio ignorate che sfruttate. Tutta la corrispondenza fu condotta a un livello che mi ricordava vividamente il clima intellettuale di venti anni fa, come se la stagnazione fosse la principale caratteristica della professione informatica, e questa era una delusione. - Dijkstra, 1987
Da allora ci sono stati numerosi titoli "X considerati dannosi" (vedi Google Scholar ).
Logica, linguaggi di programmazione e semantica
Questi sono vari articoli in logica e semantica con titoli memorabili. Espanderò su di loro mentre trovo il tempo.
- I prossimi 700 linguaggi di programmazione , Landin, 1966
- Scott non è sempre sobrio , Johnstone, 1981
- Imparzialità, giustizia ed equità: l'etica della risoluzione simultanea , Lehmann, Pnueli, Stavi, 1981
- Perché la gente pensa che i computer non possano , Minsky, 1990
- I vantaggi di una puntualità rilassante , Alur, Feder, Henzinger, 1991
- Programmazione funzionale con banane, lenti, buste e filo spinato , Meijer, Fokkinga, Paterson, 1991
- Once and For All , Kupferman e Pnueli, 1995
- C'era una volta un tipo , Turner, Wadler, Mossin, 1995
- Sintesi con Incomplete Informatio , Kupferman e Vardi, 1997 (avviso mancante 'n')
- Le gioie della bisimulazione , Stirling, 1998
- Dal controllo del modello simbolico preistorico a postmoderno, Henzinger, Kupferman, Qadeer, 1998
- Once Upon a Polymorphic Type , Wansborough e Peyton Jones, 1999
- Lazy Abstraction , Henzinger, Jhala, Majumdar, Sutre, 2002
- Sketches of a Elephant: A Topos Theory Compendiumm vol. 1 , Johnstone, 2002
- Aspirapolvere Formule CTL , Purandare e Somenzi, 2002
- Co-Buching Them All , Kupferman and Boker, 2011
- Tutto per il prezzo di pochi , Abdulla, Haziza, Holik, 2013