Kiedy zaczynałem informatykę, lubiłem dziwaczne tytuły, ale w końcu się nudziłem. Niektórym autorom udaje się pisać tytuły, które są sprytne, zapadające w pamięć i odpowiednie, ale większość prób uzyskania zabawnych tytułów prowadzi do niepotrzebnie długich, niedorzecznych i niewyraźnych zwrotów, które trudno mi zapamiętać i podnieść.
Są prace takie jak The Temporal Logic of Pnueli z 1977 r., Która jest absolutnie prosta, ale łatwo mi ją zapamiętać. Zgaduję, że nie miałeś na myśli niezapomnianego pod tym względem.
Leslie Lamport ma kilka artykułów z niezapomnianymi tytułami, które nie wydają mi się śmieszne. Tytuły, których szukasz, są liczne i nie wydaje mi się możliwe, aby mieć zdalnie obszerną listę, nawet tych, które przeczytałem i zapamiętałem, a nawet tych, które są uważane za znaczące. Niemniej jednak przypomnę kilka, grupując je w razie potrzeby.
Pisma Leslie Lamport
Lamport opisuje kulisy różnych gazetach tutaj . Ma wiele niezapomnianych tytułów, choć nie wszystkie (lub artykuły) zostały dobrze przyjęte.
Czas, zegary i kolejność zdarzeń w systemie rozproszonym , Lamport, 1978, klasyczny artykuł w systemach rozproszonych. Tytuł przywołuje obrazy diagramów w artykule, które same przypominają specjalne diagramy względności.
„Czasami” to czasami „Nie nigdy” , Lamport, 1980. Czytając to, od razu opracowuję wskazane twierdzenia o logice czasowej.
The Byzantine Generals Problem , Lamport, Pease, Shostak, 1982
- „EWD 1013” , 1988. Godne uwagi, ponieważ tylko Dijkstra napisała EWD.
- How to Tell a Program from a Automobile , 1996
- The Part-Time Parliament , Lamport, 1998. Lepiej znany jako Paxos. Zobacz jego stronę, aby zapoznać się z historią tego artykułu i zawartym w nim algorytmem.
Tytuł
referatu uznany za szkodliwy (dzięki @Bakuriu i @ Kaj_Sotala, których komentarze skłoniły mnie do rozwinięcia tego punktu)
Edsger Dijkstra przekazał komunikat „Case Against the Goto” (także EWD 215) do Communications of ACM, a ostateczny tytuł został zmodyfikowany przez redaktora Niklausa Wirtha do słynnego tytułu podanego poniżej. Ten tytuł zrodził serię odpowiedzi. Takie tytuły istniały już w dziennikarstwie, jak wskazano w tym artykule w Dzienniku językowym . W szczególności rekurencyjne odpowiedzi na „X uważane za szkodliwe” z „X uważane za szkodliwe”, uważane za szkodliwe ”można znaleźć już w latach 50. XX wieku ( Dziennik języka , Roguish Chrestomathy ). W tym konkretnym przypadku mamy te tytuły.
- Idź do oświadczenia uznanego za szkodliwe , 1968
Programowanie strukturalne za pomocą go to Statement , Knuth, 1974, który jest spokojnie napisanym, pięknym artykułem. Cytuje osobistą komunikację Dijkstry:
„Proszę nie wpaść w pułapkę przekonania, że jestem strasznie dogmatyczny w kwestii [przejdź do wypowiedzi]. Mam niewygodne wrażenie, że inni tworzą z tego religię, jakby koncepcyjne problemy programowania można rozwiązać przez jedna sztuczka, poprzez prostą formę kodowania dyscypliny! ” - Edsger Dijkstra, 1973
„Na kongresie IFIP w 1971 roku miałem przyjemność spotkać się z japońskim dr Eiichi Goto, który z radością narzekał, że zawsze był eliminowany”. - Knuth
„Goto uważane za szkodliwe” uważane za szkodliwe , Rubin, 1987
„” „GOTO Uważany za szkodliwy” Uważany za szkodliwy „Uważany za szkodliwy?” , zbiór odpowiedzi Moore, Musciano, Liebhaber, Lott i Starr opublikowany w 1987 r.
W nieco rozczarowującej korespondencji Dijkstra, 1987, która kończy się następująco:
Najwyraźniej moje priorytety nie są podzielane przez wszystkich, ponieważ list Rubina i większość z pięciu wywołanych przez niego reakcji zostało przeprowadzonych w kategoriach wszelkiego rodzaju „cech języka programowania”, które wydają się lepiej ignorowane niż wykorzystywane. Całą korespondencję prowadzono na poziomie, który żywo przypomniał mi klimat intelektualny sprzed dwudziestu lat, jak gdyby stagnacja była główną cechą zawodu informatyki, i to było rozczarowanie. - Dijkstra, 1987
Od tego czasu pojawiło się wiele tytułów „X uważanych za szkodliwe” (patrz Google Scholar ).
Logika, języki programowania i semantyka
Są to różne artykuły z logiki i semantyki z niezapomnianymi tytułami. Rozwinę je, jak tylko znajdę czas.
- Kolejnych 700 języków programowania , Landin, 1966
- Scott nie zawsze jest trzeźwy , Johnstone, 1981
- Bezstronność, sprawiedliwość i uczciwość: etyka równoczesnego rozwiązania umowy , Lehmann, Pnueli, Stavi, 1981
- Dlaczego ludzie myślą, że komputery nie potrafią , Minsky, 1990
- Korzyści płynące z relaksującej punktualności , Alur, Feder, Henzinger, 1991
- Programowanie funkcjonalne z bananami , soczewkami, kopertami i drutem kolczastym , Meijer, Fokkinga, Paterson, 1991
- Raz na zawsze , Kupferman i Pnueli, 1995
- Pewnego razu , Turner, Wadler, Mossin, 1995
- Synthesis with Incomplete Informatio , Kupferman i Vardi, 1997 (brak powiadomienia „n”)
- The Joys of Bisimulation , Stirling, 1998
- Od prehistorycznego do postmodernistycznego symbolicznego sprawdzania modelu , Henzinger, Kupferman, Qadeer, 1998
- Once Upon a Polymorphic Type , Wansborough and Peyton Jones, 1999
- Lazy Abstraction , Henzinger, Jhala, Majumdar, Sutre, 2002
- Szkice słonia: kompendium teorii toposu vol. 1 , Johnstone, 2002
- Odkurzanie formuł CTL , Purandare i Somenzi, 2002
- Co-Buching Them All , Kupferman and Boker, 2011
- Wszystko za cenę niewielu , Abdulla, Haziza, Holik, 2013