Eu gostava de títulos peculiares quando comecei na ciência da computação, mas fiquei entediado eventualmente. Alguns autores conseguem escrever títulos que são inteligentes, memoráveis e relevantes, mas a maioria das tentativas de títulos engraçados resulta em frases desnecessariamente longas, desinformativas e desajeitadas que acho difícil de lembrar e procurar.
Existem documentos como The Temporal Logic of Programs, de Pnueli, de 1977, que são absolutamente diretos, mas fáceis de lembrar. Acho que você não quis dizer memorável nesse sentido.
Leslie Lamport tem vários artigos com títulos memoráveis que não me parecem engraçados. Os títulos do tipo que você deseja são numerosos e não acho viável ter uma lista remotamente abrangente, mesmo de artigos que li e lembrei ou mesmo daqueles que são considerados significativos. No entanto, deixe-me lembrar alguns, agrupando-os quando apropriado.
Os Escritos de Leslie Lamport
Lamport descreve a história por trás de vários artigos aqui . Ele tem muitos títulos memoráveis, embora nem todos os títulos (ou jornais) tenham sido bem recebidos.
Tempo, relógios e ordenação de eventos em um sistema distribuído , Lamport, 1978, um artigo clássico em sistemas distribuídos. O título evoca imagens dos diagramas no artigo, que lembram diagramas especiais de relatividade.
"Às vezes" é às vezes "não nunca" , Lamport, 1980. Lendo isso, imediatamente elaborei os teoremas da lógica temporal que estão sendo sugeridos.
O Problema dos Generais Bizantinos , Lamport, Pease, Shostak, 1982
- "EWD 1013" , 1988. Notável porque apenas Dijkstra escreveu EWDs.
- Como distinguir um programa de um automóvel , 1996
- O Parlamento a tempo parcial , Lamport, 1998. Mais conhecido como Paxos. Veja a página dele para a história deste artigo e o algoritmo que ele contém.
Título do artigo considerado prejudicial
(obrigado a @Bakuriu e @ Kaj_Sotala, cujos comentários me levaram a expandir esse ponto)
Edsger Dijkstra enviou A Case Against the Goto (também EWD 215) às Comunicações da ACM e o título final foi modificado pelo editor Niklaus Wirth para o famoso título abaixo. Este título gerou uma série de respostas. Esses títulos já existiam no jornalismo, como apontado neste artigo de log do idioma . Em particular, respostas recursivas a "X considerado prejudicial" com "X considerado prejudicial", considerado prejudicial "podem ser encontradas desde a década de 1950 ( Log de idiomas , A Roguish Chrestomathy ). Nesse caso específico, obtivemos esses títulos.
- Ver declaração considerada prejudicial , 1968
Programação Estruturada com ir para Statements , Knuth, 1974, que é um artigo bonito, calmo e escrito. Ele cita a comunicação pessoal de Dijkstra:
"Por favor, não caia na armadilha de acreditar que sou terrivelmente dogmático sobre [a declaração ir]. Tenho a sensação desconfortável de que outras pessoas estão criando uma religião a partir dela, como se os problemas conceituais da programação pudessem ser resolvidos com a um único truque, por uma forma simples de disciplina de codificação! " - Edsger Dijkstra, 1973
"No Congresso da IFIP, em 1971, tive o prazer de conhecer o Dr. Eiichi Goto, do Japão, que reclamou alegremente que estava sempre sendo eliminado". - Knuth
"Goto Considerado Prejudicial" considerado prejudicial , Rubin, 1987
"" "GOTO Considerado Prejudicial" Considerado Prejudicial "Considerado Prejudicial?" , uma coleção de respostas de Moore, Musciano, Liebhaber, Lott e Starr publicada em 1987.
Em uma correspondência um tanto decepcionante , Dijkstra, 1987, que termina com isso:
Evidentemente, minhas prioridades não são compartilhadas por todos, pois a carta de Rubin e a maioria das cinco reações que evocou foram conduzidas em termos de todos os tipos de "recursos da linguagem de programação" que parecem mais ignorados do que explorados. Toda a correspondência foi realizada em um nível que me lembrou vividamente o clima intelectual de vinte anos atrás, como se a estagnação fosse a principal característica da profissão de computação, e isso foi uma decepção. - Dijkstra, 1987
Existem inúmeros títulos "X considerados prejudiciais" desde então (consulte o Google Scholar ).
Lógica, Linguagens de Programação e Semântica
São vários trabalhos sobre lógica e semântica, com títulos memoráveis. Vou expandi-los à medida que encontrar tempo.
- As próximas 700 linguagens de programação , Landin, 1966
- Scott nem sempre é sóbrio , Johnstone, 1981
- Imparcialidade, justiça e justiça: a ética do término simultâneo , Lehmann, Pnueli, Stavi, 1981
- Por que as pessoas pensam que os computadores não podem , Minsky, 1990
- Os benefícios de relaxar a pontualidade , Alur, Feder, Henzinger, 1991
- Programação Funcional com Bananas, Lentes, Envelopes e Arame Farpado , Meijer, Fokkinga, Paterson, 1991
- Uma vez por todas , Kupferman e Pnueli, 1995
- Era uma vez um tipo , Turner, Wadler, Mossin, 1995
- Síntese com Informação incompleta , Kupferman e Vardi, 1997 (falta de notificação 'n')
- As alegrias da bisimulação , Stirling, 1998
- Da verificação do modelo simbólico pré-histórico ao pós-moderno , Henzinger, Kupferman, Qadeer, 1998
- Era uma vez um tipo polimórfico , Wansborough e Peyton Jones, 1999
- Abstração preguiçosa , Henzinger, Jhala, Majumdar, Sutre, 2002
- Esboços de um elefante: um compêndio de teoria de Topos vol. 1 , Johnstone, 2002
- Fórmulas CTL para limpeza a vácuo , Purandare e Somenzi, 2002
- Co-Buching All , Kupferman e Boker, 2011
- Tudo pelo preço de poucos , Abdulla, Haziza, Holik, 2013