Мне нравились причудливые названия, когда я начинал с информатики, но в конце концов мне стало скучно. Некоторым авторам удается писать умные, запоминающиеся и релевантные названия, но большинство попыток смешных названий приводят к излишне длинным, неинформативным и глупым фразам, которые мне трудно запомнить и найти.
Есть такие статьи, как «Временная логика программ» Пнуэли 1977 года, которые абсолютно просты, но для меня легко запомнить. Я предполагаю, что вы не имели в виду памятные в этом смысле.
У Лесли Лэмпорта есть несколько газет с запоминающимися названиями, которые не кажутся мне забавными. Названий, которые вы хотите, многочисленно, и я не думаю, что возможно иметь удаленно полный список, даже статей, которые я прочитал и запомнил, или даже тех, которые считаются значимыми. Тем не менее, позвольте мне вспомнить некоторые из них, сгруппировав их в соответствующих случаях.
Писания Лесли Лампорта
Лампорт описывает историю, стоящую за различными бумагами здесь . У него много памятных названий, хотя не все названия (или статьи) были хорошо приняты.
Время, часы и порядок событий в распределенной системе , Лампорт, 1978, классическая статья о распределенных системах. Название вызывает изображения диаграмм в статье, которые сами по себе напоминают специальные диаграммы относительности.
«Иногда» - иногда «Не никогда» , Лампорт, 1980. Читая это, я сразу же прорабатываю теоремы о временной логике, на которые намекают.
Проблема византийских генералов , Лампорт, Пиз, Шостак, 1982
- "EWD 1013" , 1988. Известно, потому что только Дейкстра написал EWD.
- Как отличить программу от автомобиля , 1996
- Парламент с частичной занятостью , Лампорт, 1998 год. Более известный как Паксос. См. Его страницу для истории этой статьи и алгоритма, который она содержит.
Название
статьи считается опасным (спасибо @Bakuriu и @ Kaj_Sotala, чьи комментарии заставили меня расширить этот вопрос)
Эдсгер Дейкстра подал в Комиссию АСМ заявление «Дело против Гото» (также EWD 215), и окончательный заголовок редактора Никлауса Вирта был изменен на знаменитый заголовок, приведенный ниже. Этот заголовок породил серию ответов. Такие заголовки уже существовали в журналистике, как указано в этой статье журнала языка . В частности, рекурсивные ответы на «X, считающийся вредным» на «X, считающийся вредным», считающийся вредным », можно найти еще в 1950-х годах ( Журнал языков , Roguish Chrestomathy ). В этом конкретном случае мы получили эти названия.
- Перейти к заявлению, признанному вредным , 1968
Структурное программирование с go to Statements , Кнут, 1974, спокойная, красивая статья. Он цитирует личное сообщение Дейкстры:
«Пожалуйста, не попадайтесь в ловушку веры в то, что я ужасно догматичен в отношении [перехода к утверждению]. У меня неприятное ощущение, что другие делают из этого религию, как будто концептуальные проблемы программирования могут быть решены один трюк, простой формой дисциплины кодирования! " - Эдсгер Дейкстра, 1973
«На конгрессе IFIP в 1971 году я имел удовольствие встретиться с д-ром Эйити Гото из Японии, который весело жаловался, что его всегда устраняли». - Кнут
"Goto считать вредным" считается вредным , Рубин, 1987
"" "GOTO Считается вредным" Считается вредным "Считается вредным?" коллекция ответов Мура, Мусиано, Либхабера, Лотта и Старра, опубликованная в 1987 году.
На несколько разочаровывающей переписке , Dijkstra, 1987, которая заканчивается этим:
Очевидно, мои приоритеты не разделяются всеми, для письма Рубина, и большинство из пяти вызванных им реакций были проведены вместо этого с точки зрения всевозможных «функций языка программирования», которые кажутся лучше игнорируемыми, чем эксплуатируемыми. Вся переписка велась на уровне, который ярко напомнил мне об интеллектуальном климате двадцатилетней давности, как будто стагнация была главной характеристикой компьютерной профессии, и это было разочарованием. - Дейкстра, 1987
С тех пор появилось множество названий «X считается вредным» (см. Google Scholar ).
Логика, языки программирования и семантика
Это различные статьи по логике и семантике с запоминающимися названиями. Я расскажу о них, когда найду время.
- Следующие 700 языков программирования , Ландин, 1966
- Скотт не всегда трезв , Джонстон, 1981
- Беспристрастность, справедливость и справедливость: этика одновременного прекращения , Lehmann, Pnueli, Stavi, 1981
- Почему люди думают, что компьютеры не могут , Минский, 1990
- Преимущества расслабляющей пунктуальности , Alur, Feder, Henzinger, 1991
- Функциональное программирование с помощью бананов, линз, конвертов и колючей проволоки , Мейер, Фоккинга, Патерсон, 1991
- Раз и навсегда, Купферман и Пнуэли, 1995
- Однажды тип , Тернер, Вадлер, Моссин, 1995
- Синтез с Incomplete Informatio , Купферман и Варди, 1997 (замечание отсутствует 'n')
- Радости бисимуляции , Стерлинг, 1998
- От доисторической до постмодернистской проверки символической модели , Хензингер, Купферман, Кадир, 1998
- Однажды полиморфный тип , Wansborough and Peyton Jones, 1999
- Ленивая Абстракция , Хензингер, Джала, Мажумдар, Сутре, 2002
- Эскизы слона: сборник теорий топос. 1 , Джонстон, 2002
- Пылесос CTL Formulas , Purandare и Somenzi, 2002
- Co-Buching Them All , Купферман и Бокер, 2011
- Все по цене нескольких , Абдулла, Хазиза, Холик, 2013