Saya dulu suka judul yang aneh ketika saya mulai dalam ilmu komputer tetapi akhirnya bosan. Beberapa penulis berhasil menulis judul yang cerdas, mudah diingat, dan relevan tetapi sebagian besar upaya judul lucu menghasilkan frasa yang panjang, tidak informatif, dan kusut yang menurut saya sulit diingat dan dicari.
Ada beberapa makalah seperti The Temporal Logic of Programs karya Pnueli dari tahun 1977, yang benar-benar mudah tetapi mudah untuk saya ingat. Saya kira Anda tidak berarti berkesan dalam arti itu.
Leslie Lamport memiliki beberapa makalah dengan judul-judul yang mengesankan yang tidak membuat saya terkesan mencoba menjadi lucu. Judul-judul seperti yang Anda inginkan sangat banyak dan saya pikir tidak mungkin untuk memiliki daftar komprehensif yang jauh, bahkan dari kertas-kertas yang telah saya baca dan ingat atau bahkan dari mereka yang dianggap signifikan. Meskipun demikian, izinkan saya mengingat beberapa, mengelompokkannya jika perlu.
Tulisan-tulisan Leslie Lamport
Lamport menggambarkan kisah di balik berbagai makalah di sini . Dia memiliki banyak judul yang mengesankan, meskipun tidak semua judul (atau karya tulis) telah diterima dengan baik.
Waktu, Jam, dan Pengaturan Acara dalam Sistem Terdistribusi , Lamport, 1978, sebuah makalah klasik dalam sistem terdistribusi. Judul membangkitkan gambar diagram di kertas, itu sendiri mengingatkan pada diagram relativitas khusus.
'Someime' Kadang-kadang 'Not Never' , Lamport, 1980. Membaca ini saya segera bekerja di luar teorema logika temporal yang diisyaratkan.
Masalah Jenderal Bizantium , Lamport, Pease, Shostak, 1982
- "EWD 1013" , 1988. Terkenal karena hanya Dijkstra yang menulis EWD.
- How to Tell a Program dari Automobile , 1996
- Parlemen Paruh Waktu , Lamport, 1998. Lebih dikenal sebagai Paxos. Lihat halamannya untuk kisah makalah ini dan algoritma yang dikandungnya.
Judul Kertas Dianggap Berbahaya
(terima kasih kepada @Bakuriu dan @ Kaj_Sotala, yang komentarnya membuat saya memperluas poin ini)
Edsger Dijkstra mengajukan A Case Against the Goto statement (juga EWD 215) kepada Communications of ACM dan judul finalnya dimodifikasi oleh editor Niklaus Wirth dengan judul terkenal yang diberikan di bawah ini. Judul ini melahirkan serangkaian balasan. Judul-judul seperti itu sudah ada dalam jurnalisme sebagaimana ditunjukkan dalam artikel log Bahasa ini . Secara khusus, respons rekursif terhadap "X dianggap berbahaya" dengan "` X dianggap berbahaya ', dianggap berbahaya "dapat ditemukan pada awal 1950-an ( Log bahasa , A Roguish Chrestomathy ). Dalam kasus khusus ini, kami mendapatkan judul-judul ini.
- Pergi ke pernyataan yang dianggap berbahaya , 1968
Pemrograman Terstruktur dengan pergi ke Pernyataan , Knuth, 1974, yang merupakan artikel indah, ditulis dengan tenang. Dia mengutip komunikasi pribadi Dijkstra:
"Tolong jangan jatuh ke dalam perangkap percaya bahwa saya sangat dogmatis tentang [pergi ke pernyataan]. Saya memiliki perasaan tidak nyaman bahwa orang lain membuat agama keluar dari itu, seolah-olah masalah konseptual pemrograman dapat diselesaikan oleh satu trik, dengan bentuk kode disiplin yang sederhana! " - Edsger Dijkstra, 1973
"Pada Kongres IFIP pada tahun 1971, saya senang bertemu dengan Dr. Eiichi Goto dari Jepang, yang dengan riang mengeluh bahwa ia selalu disingkirkan." - Knuth
"Goto Dianggap Berbahaya" dianggap berbahaya , Rubin, 1987
"" "GOTO Dianggap Berbahaya" Dianggap Berbahaya "Dianggap Berbahaya?" , kumpulan tanggapan dari Moore, Musciano, Liebhaber, Lott dan Starr yang diterbitkan pada tahun 1987.
Pada korespondensi yang agak mengecewakan , Dijkstra, 1987, yang berakhir dengan ini:
Jelas, prioritas saya tidak dibagikan oleh semua orang, karena surat Rubin dan sebagian besar dari lima reaksi yang ditimbulkannya justru dilakukan dalam hal segala macam "fitur bahasa pemrograman" yang tampaknya lebih baik diabaikan daripada dieksploitasi. Seluruh korespondensi dilakukan pada tingkat yang dengan jelas mengingatkan saya pada iklim intelektual dua puluh tahun yang lalu, seolah-olah stagnasi adalah karakteristik utama dari profesi komputer, dan itu mengecewakan. - Dijkstra, 1987
Sejak itu ada banyak judul "X dianggap berbahaya" (lihat Google Cendekia ).
Logika, Bahasa Pemrograman dan Semantik
Ini adalah berbagai makalah dalam logika dan semantik dengan judul yang mudah diingat. Saya akan memperluas mereka karena saya menemukan waktu.
- 700 bahasa pemrograman berikutnya , Landin, 1966
- Scott tidak selalu sadar , Johnstone, 1981
- Ketidakberpihakan, keadilan dan keadilan: Etika penghentian bersamaan , Lehmann, Pnueli, Stavi, 1981
- Mengapa orang berpikir komputer tidak bisa , Minsky, 1990
- Manfaat ketepatan waktu santai , Alur, Feder, Henzinger, 1991
- Pemrograman Fungsional dengan Pisang, Lensa, Amplop dan Kawat Berduri , Meijer, Fokkinga, Paterson, 1991
- Once and For All , Kupferman dan Pnueli, 1995
- Sekali jenis , Turner, Wadler, Mossin, 1995
- Sintesis dengan Informasi Tidak Lengkap , Kupferman dan Vardi, 1997 (pemberitahuan tidak ada 'n')
- The Joys of Bisimulation , Stirling, 1998
- Dari pengecekan model simbolik pra-sejarah hingga post-modern , Henzinger, Kupferman, Qadeer, 1998
- Once Upon a a Polymorphic Type , Wansborough dan Peyton Jones, 1999
- Abstraksi Malas , Henzinger, Jhala, Majumdar, Sutre, 2002
- Sketsa Gajah: A Topos Theory Compendiumm vol. 1 , Johnstone, 2002
- Vacuum Cleaning Formula CTL , Purandare dan Somenzi, 2002
- Co-Buching Them All , Kupferman dan Boker, 2011
- Semua untuk Harga Sedikit , Abdulla, Haziza, Holik, 2013