Bilgisayar bilimlerine başladığımda ama sonunda sıkıldığımda ilginç başlıkları severdim. Bazı yazarlar zekice, akılda kalıcı ve alakalı olan başlıklar yazmayı başarır, ancak komik başlıklarda yapılan denemelerin çoğu, hatırlamak ve bakmak için zor bulduğum, gereksiz yere uzun, bilgisiz ve küfürlü ifadelerle sonuçlanır.
Pnueli'nin 1977'den kalma Temporal Program Mantığı gibi, bilhassa basit ama hatırlamamı kolay yazılar var. Sanırım bu anlamda unutulmaz demek istemedin.
Leslie Lamport'un, komik olmaya çalışırken bana çarpmayan, akılda kalıcı başlıkları olan birkaç makalesi var. İstediğiniz türün başlıkları çoktur ve uzaktan kapsamlı bir listeye sahip olmanın, okuduğum ve hatırladığım ve hatta önemli sayılan makalelerin bile uygun olduğunu sanmıyorum. Bununla birlikte, bir kaçını hatırlayayım, uygun olduğunda gruplandırın.
Leslie Lamport'un Yazıları
Lamport, burada çeşitli makalelerin arkasındaki hikayeyi anlatıyor . Bütün unvanlar (veya yazılar) iyi karşılanmadığı halde, akılda kalıcı birçok başlığı var.
Dağıtık Bir Sistemdeki Olayların Zamanı, Saatler ve Sıralanması, Lamport, 1978, dağıtık sistemlerdeki klasik bir makale. Başlık, kendi özel görelilik şemalarını andıran kağıttaki diyagramların resimlerini gösterir.
'Bazen' Asla 'Değil' , Lamport, 1980. Bunu okurken derhal ima edilen zamansal mantık teoremlerini hemen alıyorum.
Bizans Generalleri Sorunu , Lamport, Pease, Shostak, 1982
- "EWD 1013" , 1988. Önemli çünkü sadece Dijkstra EWD'leri yazdı.
- Bir Otomobilden Bir Program Nasıl Anlaşılır , 1996
- Part-Time Parlamentosu , Lamport, 1998. Paxos olarak bilinir. Bu yazının hikayesi ve içerdiği algoritma için sayfasına bakınız.
Bilinen Makaleler Zararlı Olarak Kabul Edildi (yorumları bu noktayı genişletmemi sağlayan @Bakuriu ve @ Kaj_Sotala sayesinde)
Edsger Dijkstra , ACM Haberleşmesine Goto'nun ifadesine (EWD 215) karşı bir Dava sunmuş ve son unvan editörü Niklaus Wirth tarafından aşağıda verilen ünlü unvan ile değiştirilmiştir. Bu başlık bir dizi yanıt doğurdu. Bu tür başlıklar, bu Dil günlüğü makalesinde işaret edildiği gibi gazetecilikte zaten mevcuttu . Özellikle, “X zararlı”, zararlı olarak kabul edilenler ile “X'in zararlı olduğu” için özyinelemeli tepkiler 1950'lerin başlarında ( Dil günlüğü , A Roguish Chrestomathy ) olarak bulunabilir. Bu özel durumda, bu unvanları aldık.
- Zararlı olduğu ifadesine git , 1968
Yapısal Programlama, Sakince yazılmış, güzel bir makale olan Knuth, 1974'teki İfadelere gidin . Dijkstra'nın kişisel iletişiminden alıntı yapıyor:
“Lütfen [ifadeye gitme] konusunda çok dogmatik olduğuma inanma tuzağına düşmeyin. Programlamanın kavramsal sorunları çözülebilirmiş gibi, başkalarının ondan bir din çıkardığı konusunda rahatsızlık duyuyorum. tek bir numara, basit bir kodlama disipliniyle! " - Edsger Dijkstra, 1973
“1971’deki IFIP Kongresi’nde, her zaman elimine edildiğinden şikayetçi olan Japonya’dan Dr. Eiichi Goto ile tanışma zevkini yaşadım.” - Knuth
"Goto zararlıdır kabul" zararlı kabul , 1987 Rubin,
"" "GOTO Zarar Görüyor" Zarar Görüyor "Zarar Görüyor?" 1987 yılında yayınlanan Moore, Musciano, Liebhaber, Lott ve Starr tarafından verilen cevapların bir koleksiyonu.
Biraz hayal kırıklığı yaratan bir yazışmada , Dijkstra, 1987, bununla biter:
Açıkçası, benim önceliklerim herkes tarafından paylaşılmıyor, Rubin'in mektubu ve istismara uğradığı daha iyi göz ardı edilen her türlü “programlama dili özelliği” açısından yerine getirdiği beş reaksiyonun çoğu için yapıldı. Tüm yazışmalar bana yirmi yıl önceki entelektüel iklimi canlı bir şekilde hatırlatan bir seviyede yapıldı, sanki durgunluk bilgisayar mesleğinin temel özelliğiymiş gibi ve bu bir hayal kırıklığıydı. - Dijkstra, 1987
O zamandan beri "X'in zararlı olduğu düşünüldüğü" başlıklar oldu (bkz. Google Akademik ).
Mantık, Programlama Dilleri ve Anlambilimi
Bunlar mantık ve anlambilimde akılda kalıcı başlıklar olan çeşitli makaleler. Zaman buldukça onlara göre genişleyeceğim.
- Sonraki 700 programlama dili , Landin, 1966
- Scott her zaman ayık değildir , Johnstone, 1981
- Tarafsızlık, adalet ve adalet: Eşzamanlı fesih etiği , Lehmann, Pnueli, Stavi, 1981
- İnsanlar neden bilgisayarların yapamayacağını düşünüyorlar , Minsky, 1990
- Dinlendirici dakikliğin yararları , Alur, Feder, Henzinger, 1991
- Muz, Lens, Zarf ve Dikenli Tel ile Fonksiyonel Programlama , Meijer, Fokkinga, Paterson, 1991
- Bir Zamanlar ve Herkes İçin , Kupferman ve Pnueli, 1995
- Bir zamanlar , Turner, Wadler, Mossin, 1995
- Eksik Enformatik ile Sentez , Kupferman ve Vardi, 1997 (eksik 'n' bildirimi)
- Bisimülasyonun Zevkleri , Stirling, 1998
- Tarih öncesi öncesi ve post-modern sembolik model kontrolü , Henzinger, Kupferman, Qadeer, 1998
- Polimorfik Bir Tür Üzerine , Wansborough ve Peyton Jones, 1999
- Tembel Soyutlama , Henzinger, Jhala, Majumdar, Sutre, 2002
- Bir Filin Taslakları: Bir Topos Teorisi Compendiumm vol. 1 , Johnstone, 2002
- Vakumlu Temizleme CTL Formülleri , Purandare ve Somenzi, 2002
- Them All Co-Buching , Kupferman ve Böker 2011
- Birkaç Fiyatına Tüm 2013, Abdulla, Haziza, Holik